Searched refs:vmcs_read (Results 1 – 3 of 3) sorted by relevance
1168 uint64_t info = vmcs_read(VMCS_ENTRY_INTR_INFO); in vmx_stash_intinfo()1173 errcode = vmcs_read(VMCS_ENTRY_EXCEPTION_ERROR); in vmx_stash_intinfo()1224 ASSERT0(vmcs_read(VMCS_GUEST_INTERRUPTIBILITY) & NMI_BLOCKING); in vmx_inject_nmi()1225 ASSERT0(vmcs_read(VMCS_ENTRY_INTR_INFO) & VMCS_INTR_VALID); in vmx_inject_nmi()1255 gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY); in vmx_inject_events()1256 info = vmcs_read(VMCS_ENTRY_INTR_INFO); in vmx_inject_events()1308 (vmcs_read(VMCS_GUEST_RFLAGS) & PSL_I) == 0) { in vmx_inject_events()1362 uint16_t status_old = vmcs_read(VMCS_GUEST_INTR_STATUS); in vmx_inject_vlapic()1388 ASSERT0(vmcs_read(VMCS_ENTRY_INTR_INFO) & VMCS_INTR_VALID); in vmx_inject_vlapic()1391 if ((vmcs_read(VMCS_GUEST_INTERRUPTIBILITY) & HWINTR_BLOCKING) != 0 || in vmx_inject_vlapic()[all …]
264 vmcs_read(uint32_t encoding) in vmcs_read() function
56 uint64_t vmcs_read(uint32_t encoding);