Searched refs:VMCS_GUEST_INTR_STATUS (Results 1 – 2 of 2) sorted by relevance
116 #define VMCS_GUEST_INTR_STATUS 0x00000810 macro
3329 intr_status_old = vmcs_read(VMCS_GUEST_INTR_STATUS); in vmx_inject_pir()3332 vmcs_write(VMCS_GUEST_INTR_STATUS, intr_status_new); in vmx_inject_pir()