Changeset 74073 in vbox for trunk/src/VBox/VMM/VMMR0
- Timestamp:
- Sep 4, 2018 6:05:14 PM (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
r74061 r74073 8024 8024 8025 8025 /* Validate. */ 8026 Assert(VMX_EXIT_INT_INFO_IS_VALID(u32IntInfo)); /* Bit 31 (Valid bit) must be set by caller. */ 8027 Assert(!VMX_EXIT_INT_INFO_IS_NMI_UNBLOCK_IRET(u32IntInfo)); /* Bit 12 MBZ. */ 8028 Assert(!(u32IntInfo & 0x7ffff000)); /* Bits 30:12 MBZ. */ 8026 Assert(VMX_ENTRY_INT_INFO_IS_VALID(u32IntInfo)); /* Bit 31 (Valid bit) must be set by caller. */ 8027 Assert(!(u32IntInfo & VMX_BF_ENTRY_INT_INFO_RSVD_12_30_MASK)); /* Bits 30:12 MBZ. */ 8029 8028 8030 8029 /* Inject. */
Note:
See TracChangeset
for help on using the changeset viewer.