pmap_pte_bits_86
u_int32_t (*pmap_pte_bits_p)(vaddr_t) = pmap_pte_bits_86;
bits = pmap_pte_bits_86(va) | pmap_pg_g;
u_int32_t pmap_pte_bits_86(vaddr_t);