Searched defs:opfamily_id (Results 76 – 84 of 84) sorted by relevance
1234
2037 Oid opfamily_id = pred_op_info->opfamily_id; in lookup_proof_cache() local
2041 Oid opfamily_id = pred_op_info->opfamily_id; in lookup_proof_cache() local