updatepte4m
VM_MDPAGE_PVHEAD(pg)->pv_flags |= MR4M(updatepte4m(va,
flags |= MR4M(updatepte4m(va,
int updatepte4m(vaddr_t, int *, int, int, int, u_int);
updatepte4m(va, &sp->sg_pte[VA_SUN4M_VPG(va)],
updatepte4m(va, ptep, 0xffffffff, pte, pageflush ? ctx : 0, cpuset);