getpte4m
pte = getpte4m((u_int)vaddrs[i]);
pte = getpte4m((u_int)vaddrs[i]);
pte = getpte4m(va);
(getpte4m(va) & SRMMU_TETYPE) == SRMMU_TEPTE)
(getpte4m(va) & SRMMU_TEPTE) == SRMMU_TEPTE)
pte = getpte4m((vaddr_t) va);
pte0 = getpte4m(va);
if (((pte = getpte4m(i)) & SRMMU_TETYPE) != SRMMU_TEPTE)