Searched refs:VMCS_GUEST_INTR_STATUS (Results 1 – 2 of 2) sorted by relevance
82 #define VMCS_GUEST_INTR_STATUS 0x00000810 macro
1362 uint16_t status_old = vmcs_read(VMCS_GUEST_INTR_STATUS); in vmx_inject_vlapic()1371 vmcs_write(VMCS_GUEST_INTR_STATUS, status_new); in vmx_inject_vlapic()