Searched refs:VMCS_GUEST_INTR_STATUS (Results 1 – 2 of 2) sorted by relevance
131 #define VMCS_GUEST_INTR_STATUS 0x00000810 macro
2524 vmcs_read(VMCS_GUEST_INTR_STATUS); in vmx_exit_process()3990 intr_status_old = vmcs_read(VMCS_GUEST_INTR_STATUS); in vmx_inject_pir()3993 vmcs_write(VMCS_GUEST_INTR_STATUS, intr_status_new); in vmx_inject_pir()