Searched refs:halfbucket (Results 1 – 1 of 1) sorted by relevance
160 uint64_t halfbucket[4], rcbits; in mps3_pte_synch_locked() local164 &halfbucket[0], &halfbucket[1], &halfbucket[2], &halfbucket[3], in mps3_pte_synch_locked()168 if ((halfbucket[pvo->pvo_pte.slot & 0x3] & LPTE_AVPN_MASK) != in mps3_pte_synch_locked()172 if (!(halfbucket[pvo->pvo_pte.slot & 0x3] & LPTE_VALID)) in mps3_pte_synch_locked()