Symbol: vmx_handle_intr
sys/arch/amd64/amd64/vmm_machdep.c
122
void vmx_handle_intr(struct vcpu *);
sys/arch/amd64/amd64/vmm_machdep.c
4687
vmx_handle_intr(vcpu);