PMAPCOUNT2
PMAPCOUNT2(pmap_evcnt_ptes_primary[i]);
PMAPCOUNT2(((pvo->pvo_pte.pte_hi & PTE_HID)
PMAPCOUNT2(((pvo->pvo_pte.pte_hi & PTE_HID) != 0