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