Symbol: vmm_inject_db
sys/arch/amd64/amd64/vmm_machdep.c
121
int vmm_inject_db(struct vcpu *);
sys/arch/amd64/amd64/vmm_machdep.c
4317
if (vmm_inject_db(vcpu)) {
sys/arch/amd64/amd64/vmm_machdep.c
4780
if (vmm_inject_db(vcpu)) {