va_to_pte
_kvm_pa2off(kd, (paddr_t)&ptbl[va_to_pte(va)]))
(u_long)va_to_dir(addr), (u_long)va_to_pte(addr),
(int)va_to_pte(va)));
(int)va_to_seg(va), (int)va_to_pte(va)));
(int)va_to_pte(sva)));
[va_to_pte(va)],
(long)va_to_pte(va), (long)npa);