Go to the source code of this file.
Namespaces | |
intel_x64 | |
intel_x64::vmcs | |
intel_x64::vmcs::virtual_processor_identifier | |
intel_x64::vmcs::posted_interrupt_notification_vector | |
intel_x64::vmcs::eptp_index | |
Variables | |
constexpr const auto | intel_x64::vmcs::virtual_processor_identifier::addr = 0x0000000000000000UL |
constexpr const auto | intel_x64::vmcs::virtual_processor_identifier::name = "virtual_processor_identifier" |
constexpr const auto | intel_x64::vmcs::posted_interrupt_notification_vector::addr = 0x0000000000000002UL |
constexpr const auto | intel_x64::vmcs::posted_interrupt_notification_vector::name = "posted_interrupt_notification_vector" |
constexpr const auto | intel_x64::vmcs::eptp_index::addr = 0x0000000000000004UL |
constexpr const auto | intel_x64::vmcs::eptp_index::name = "eptp_index" |