53   PetscInt    low, high, mid = 0;  in AOPetscToApplication_Mapping()  local
68     high = N - 1;  in AOPetscToApplication_Mapping()
69     while (low <= high) {  in AOPetscToApplication_Mapping()
70       mid = (low + high) / 2;  in AOPetscToApplication_Mapping()
72       else if (idex < petsc[mid]) high = mid - 1;  in AOPetscToApplication_Mapping()
75     if (low > high) ia[i] = -1;  in AOPetscToApplication_Mapping()
88   PetscInt    low, high, mid = 0;  in AOApplicationToPetsc_Mapping()  local
103     high = N - 1;  in AOApplicationToPetsc_Mapping()
104     while (low <= high) {  in AOApplicationToPetsc_Mapping()
105       mid = (low + high) / 2;  in AOApplicationToPetsc_Mapping()
107       else if (idex < app[mid]) high = mid - 1;  in AOApplicationToPetsc_Mapping()
110     if (low > high) ia[i] = -1;  in AOApplicationToPetsc_Mapping()
150   PetscInt    low, high, mid;  in AOMappingHasApplicationIndex()  local
159   high = aomap->N - 1;  in AOMappingHasApplicationIndex()
160   while (low <= high) {  in AOMappingHasApplicationIndex()
161     mid = (low + high) / 2;  in AOMappingHasApplicationIndex()
163     else if (idex < app[mid]) high = mid - 1;  in AOMappingHasApplicationIndex()
166   if (low > high) *hasIndex = PETSC_FALSE;  in AOMappingHasApplicationIndex()
194   PetscInt    low, high, mid;  in AOMappingHasPetscIndex()  local
203   high = aomap->N - 1;  in AOMappingHasPetscIndex()
204   while (low <= high) {  in AOMappingHasPetscIndex()
205     mid = (low + high) / 2;  in AOMappingHasPetscIndex()
207     else if (idex < petsc[mid]) high = mid - 1;  in AOMappingHasPetscIndex()
210   if (low > high) *hasIndex = PETSC_FALSE;  in AOMappingHasPetscIndex()