Symbol: guest_vaddr2paddr
usr.sbin/bhyve/gdb.c
1112
error = guest_vaddr2paddr(vcpu, guest_pc(vmexit), &gpa);
usr.sbin/bhyve/gdb.c
1270
error = guest_vaddr2paddr(vcpus[cur_vcpu], gva, &gpa);
usr.sbin/bhyve/gdb.c
1395
error = guest_vaddr2paddr(vcpus[cur_vcpu], gva, &gpa);
usr.sbin/bhyve/gdb.c
1531
error = guest_vaddr2paddr(vcpus[cur_vcpu], gva, &gpa);