Symbol: vmx_set_int_window_exiting
sys/amd64/vmm/intel/vmx.c
1640
vmx_set_int_window_exiting(vcpu);
sys/amd64/vmm/intel/vmx.c
1652
vmx_set_int_window_exiting(vcpu);