_kvm_match_bat
if (_kvm_match_bat(kd, va, pa, &offs)) {
static int _kvm_match_bat(kvm_t *, vaddr_t, paddr_t *, int *);