Searched refs:vmcs_read (Results 1 – 3 of 3) sorted by relevance
1161 uint64_t info = vmcs_read(VMCS_ENTRY_INTR_INFO); in vmx_stash_intinfo()1166 errcode = vmcs_read(VMCS_ENTRY_EXCEPTION_ERROR); in vmx_stash_intinfo()1217 ASSERT0(vmcs_read(VMCS_GUEST_INTERRUPTIBILITY) & NMI_BLOCKING); in vmx_inject_nmi()1218 ASSERT0(vmcs_read(VMCS_ENTRY_INTR_INFO) & VMCS_INTR_VALID); in vmx_inject_nmi()1248 gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY); in vmx_inject_events()1249 info = vmcs_read(VMCS_ENTRY_INTR_INFO); in vmx_inject_events()1301 (vmcs_read(VMCS_GUEST_RFLAGS) & PSL_I) == 0) { in vmx_inject_events()1355 uint16_t status_old = vmcs_read(VMCS_GUEST_INTR_STATUS); in vmx_inject_vlapic()1381 ASSERT0(vmcs_read(VMCS_ENTRY_INTR_INFO) & VMCS_INTR_VALID); in vmx_inject_vlapic()1384 if ((vmcs_read(VMCS_GUEST_INTERRUPTIBILITY) & HWINTR_BLOCKING) != 0 || in vmx_inject_vlapic()[all …]
267 vmcs_read(uint32_t encoding) in vmcs_read() function
68 uint64_t vmcs_read(uint32_t encoding);