Symbol: VMCS_GUEST_INTR_STATUS
sys/amd64/vmm/intel/vmx.c
2584
vmcs_read(VMCS_GUEST_INTR_STATUS);
sys/amd64/vmm/intel/vmx.c
4081
intr_status_old = vmcs_read(VMCS_GUEST_INTR_STATUS);
sys/amd64/vmm/intel/vmx.c
4084
vmcs_write(VMCS_GUEST_INTR_STATUS, intr_status_new);