79   khash_t(HO) *ht;
1163   kh_destroy(HO, options->ht);  in PetscOptionsClear()
1164   options->ht = NULL;  in PetscOptionsClear()
1365   kh_destroy(HO, options->ht);  in PetscOptionsSetValue_Private()
1366   options->ht = NULL;  in PetscOptionsSetValue_Private()
1463   kh_destroy(HO, options->ht);  in PetscOptionsClearValue()
1464   options->ht = NULL;  in PetscOptionsClearValue()
1526   if (!options->ht) {  in PetscOptionsFindPair()
1529     khash_t(HO) *ht;  in PetscOptionsFindPair()
1530     ht = kh_init(HO);  in PetscOptionsFindPair()
1531     PetscCheck(ht, PETSC_COMM_SELF, PETSC_ERR_MEM, "Hash table allocation failed");  in PetscOptionsFindPair()
1532 …ret = kh_resize(HO, ht, options->N * 2); /* twice the required size to reduce risk of collisions */  in PetscOptionsFindPair()
1535       it = kh_put(HO, ht, options->names[i], &ret);  in PetscOptionsFindPair()
1537       kh_val(ht, it) = i;  in PetscOptionsFindPair()
1539     options->ht = ht;  in PetscOptionsFindPair()
1542   khash_t(HO) *ht = options->ht;  in PetscOptionsFindPair()
1543   khiter_t     it = kh_get(HO, ht, name);  in PetscOptionsFindPair()
1544   if (it != kh_end(ht)) {  in PetscOptionsFindPair()
1545     int i            = kh_val(ht, it);  in PetscOptionsFindPair()