Searched refs:VMCS_GUEST_INTR_STATUS (Results 1 – 2 of 2) sorted by relevance
129 #define VMCS_GUEST_INTR_STATUS 0x00000810 macro
2573 vmcs_read(VMCS_GUEST_INTR_STATUS); in vmx_exit_process()4068 intr_status_old = vmcs_read(VMCS_GUEST_INTR_STATUS); in vmx_inject_pir()4071 vmcs_write(VMCS_GUEST_INTR_STATUS, intr_status_new); in vmx_inject_pir()