_kvm_kvatop_i386pae
return _kvm_kvatop_i386pae(kd, va, pa);
int _kvm_kvatop_i386pae(kvm_t *, vaddr_t, paddr_t *);