intel_x64::vmcs::check Namespace Reference

Functions
void	all ()
void	control_vmx_controls_all ()
void	control_vm_execution_control_fields_all ()
void	control_pin_based_ctls_reserved_properly_set ()
void	control_proc_based_ctls_reserved_properly_set ()
void	control_proc_based_ctls2_reserved_properly_set ()
void	control_cr3_count_less_then_4 ()
void	control_io_bitmap_address_bits ()
void	control_msr_bitmap_address_bits ()
void	control_tpr_shadow_and_virtual_apic ()
void	control_nmi_exiting_and_virtual_nmi ()
void	control_virtual_nmi_and_nmi_window ()
void	control_virtual_apic_address_bits ()
void	control_x2apic_mode_and_virtual_apic_access ()
void	control_virtual_interrupt_and_external_interrupt ()
void	control_process_posted_interrupt_checks ()
void	control_vpid_checks ()
void	control_enable_ept_checks ()
void	control_unrestricted_guests ()
void	control_enable_vm_functions ()
void	control_enable_vmcs_shadowing ()
void	control_enable_ept_violation_checks ()
void	control_enable_pml_checks ()
void	control_vm_exit_control_fields_all ()
void	control_vm_exit_ctls_reserved_properly_set ()
void	control_activate_and_save_preemption_timer_must_be_0 ()
void	control_exit_msr_store_address ()
void	control_exit_msr_load_address ()
void	control_vm_entry_control_fields_all ()
void	control_vm_entry_ctls_reserved_properly_set ()
void	control_event_injection_type_vector_checks ()
void	control_event_injection_delivery_ec_checks ()
void	control_event_injection_reserved_bits_checks ()
void	control_event_injection_ec_checks ()
void	control_event_injection_instr_length_checks ()
void	control_entry_msr_load_address ()
void	host_state_all ()
void	host_control_registers_and_msrs_all ()
void	host_cr0_for_unsupported_bits ()
void	host_cr4_for_unsupported_bits ()
void	host_cr3_for_unsupported_bits ()
void	host_ia32_sysenter_esp_canonical_address ()
void	host_ia32_sysenter_eip_canonical_address ()
void	host_verify_load_ia32_perf_global_ctrl ()
void	host_verify_load_ia32_pat ()
void	host_verify_load_ia32_efer ()
void	host_segment_and_descriptor_table_registers_all ()
void	host_es_selector_rpl_ti_equal_zero ()
void	host_cs_selector_rpl_ti_equal_zero ()
void	host_ss_selector_rpl_ti_equal_zero ()
void	host_ds_selector_rpl_ti_equal_zero ()
void	host_fs_selector_rpl_ti_equal_zero ()
void	host_gs_selector_rpl_ti_equal_zero ()
void	host_tr_selector_rpl_ti_equal_zero ()
void	host_cs_not_equal_zero ()
void	host_tr_not_equal_zero ()
void	host_ss_not_equal_zero ()
void	host_fs_canonical_base_address ()
void	host_gs_canonical_base_address ()
void	host_gdtr_canonical_base_address ()
void	host_idtr_canonical_base_address ()
void	host_tr_canonical_base_address ()
void	host_address_space_size_all ()
void	host_if_outside_ia32e_mode ()
void	host_address_space_size_exit_ctl_is_set ()
void	host_address_space_disabled ()
void	host_address_space_enabled ()
void	guest_state_all ()
void	guest_control_registers_debug_registers_and_msrs_all ()
void	guest_cr0_for_unsupported_bits ()
void	guest_cr0_verify_paging_enabled ()
void	guest_cr4_for_unsupported_bits ()
void	guest_load_debug_controls_verify_reserved ()
void	guest_verify_ia_32e_mode_enabled ()
void	guest_verify_ia_32e_mode_disabled ()
void	guest_cr3_for_unsupported_bits ()
void	guest_load_debug_controls_verify_dr7 ()
void	guest_ia32_sysenter_esp_canonical_address ()
void	guest_ia32_sysenter_eip_canonical_address ()
void	guest_verify_load_ia32_perf_global_ctrl ()
void	guest_verify_load_ia32_pat ()
void	guest_verify_load_ia32_efer ()
void	guest_verify_load_ia32_bndcfgs ()
void	guest_segment_registers_all ()
void	guest_tr_ti_bit_equals_0 ()
void	guest_ldtr_ti_bit_equals_0 ()
void	guest_ss_and_cs_rpl_are_the_same ()
void	guest_cs_base_is_shifted ()
void	guest_ss_base_is_shifted ()
void	guest_ds_base_is_shifted ()
void	guest_es_base_is_shifted ()
void	guest_fs_base_is_shifted ()
void	guest_gs_base_is_shifted ()
void	guest_tr_base_is_canonical ()
void	guest_fs_base_is_canonical ()
void	guest_gs_base_is_canonical ()
void	guest_ldtr_base_is_canonical ()
void	guest_cs_base_upper_dword_0 ()
void	guest_ss_base_upper_dword_0 ()
void	guest_ds_base_upper_dword_0 ()
void	guest_es_base_upper_dword_0 ()
void	guest_cs_limit ()
void	guest_ss_limit ()
void	guest_ds_limit ()
void	guest_es_limit ()
void	guest_gs_limit ()
void	guest_fs_limit ()
void	guest_v8086_cs_access_rights ()
void	guest_v8086_ss_access_rights ()
void	guest_v8086_ds_access_rights ()
void	guest_v8086_es_access_rights ()
void	guest_v8086_fs_access_rights ()
void	guest_v8086_gs_access_rights ()
void	guest_cs_access_rights_type ()
void	guest_ss_access_rights_type ()
void	guest_ds_access_rights_type ()
void	guest_es_access_rights_type ()
void	guest_fs_access_rights_type ()
void	guest_gs_access_rights_type ()
void	guest_cs_is_not_a_system_descriptor ()
void	guest_ss_is_not_a_system_descriptor ()
void	guest_ds_is_not_a_system_descriptor ()
void	guest_es_is_not_a_system_descriptor ()
void	guest_fs_is_not_a_system_descriptor ()
void	guest_gs_is_not_a_system_descriptor ()
void	guest_cs_type_not_equal_3 ()
void	guest_cs_dpl_adheres_to_ss_dpl ()
void	guest_ss_dpl_must_equal_rpl ()
void	guest_ss_dpl_must_equal_zero ()
void	guest_ds_dpl ()
void	guest_es_dpl ()
void	guest_fs_dpl ()
void	guest_gs_dpl ()
void	guest_cs_must_be_present ()
void	guest_ss_must_be_present_if_usable ()
void	guest_ds_must_be_present_if_usable ()
void	guest_es_must_be_present_if_usable ()
void	guest_fs_must_be_present_if_usable ()
void	guest_gs_must_be_present_if_usable ()
void	guest_cs_access_rights_reserved_must_be_0 ()
void	guest_ss_access_rights_reserved_must_be_0 ()
void	guest_ds_access_rights_reserved_must_be_0 ()
void	guest_es_access_rights_reserved_must_be_0 ()
void	guest_fs_access_rights_reserved_must_be_0 ()
void	guest_gs_access_rights_reserved_must_be_0 ()
void	guest_cs_db_must_be_0_if_l_equals_1 ()
void	guest_cs_granularity ()
void	guest_ss_granularity ()
void	guest_ds_granularity ()
void	guest_es_granularity ()
void	guest_fs_granularity ()
void	guest_gs_granularity ()
void	guest_cs_access_rights_remaining_reserved_bit_0 ()
void	guest_ss_access_rights_remaining_reserved_bit_0 ()
void	guest_ds_access_rights_remaining_reserved_bit_0 ()
void	guest_es_access_rights_remaining_reserved_bit_0 ()
void	guest_fs_access_rights_remaining_reserved_bit_0 ()
void	guest_gs_access_rights_remaining_reserved_bit_0 ()
void	guest_tr_type_must_be_11 ()
void	guest_tr_must_be_a_system_descriptor ()
void	guest_tr_must_be_present ()
void	guest_tr_access_rights_reserved_must_be_0 ()
void	guest_tr_granularity ()
void	guest_tr_must_be_usable ()
void	guest_tr_access_rights_remaining_reserved_bit_0 ()
void	guest_ldtr_type_must_be_2 ()
void	guest_ldtr_must_be_a_system_descriptor ()
void	guest_ldtr_must_be_present ()
void	guest_ldtr_access_rights_reserved_must_be_0 ()
void	guest_ldtr_granularity ()
void	guest_ldtr_access_rights_remaining_reserved_bit_0 ()
void	guest_descriptor_table_registers_all ()
void	guest_gdtr_base_must_be_canonical ()
void	guest_idtr_base_must_be_canonical ()
void	guest_gdtr_limit_reserved_bits ()
void	guest_idtr_limit_reserved_bits ()
void	guest_rip_and_rflags_all ()
void	guest_rip_upper_bits ()
void	guest_rip_valid_addr ()
void	guest_rflags_reserved_bits ()
void	guest_rflags_vm_bit ()
void	guest_rflag_interrupt_enable ()
void	guest_non_register_state_all ()
void	guest_valid_activity_state ()
void	guest_activity_state_not_hlt_when_dpl_not_0 ()
void	guest_must_be_active_if_injecting_blocking_state ()
void	guest_hlt_valid_interrupts ()
void	guest_shutdown_valid_interrupts ()
void	guest_sipi_valid_interrupts ()
void	guest_valid_activity_state_and_smm ()
void	guest_interruptibility_state_reserved ()
void	guest_interruptibility_state_sti_mov_ss ()
void	guest_interruptibility_state_sti ()
void	guest_interruptibility_state_external_interrupt ()
void	guest_interruptibility_state_nmi ()
void	guest_interruptibility_not_in_smm ()
void	guest_interruptibility_entry_to_smm ()
void	guest_interruptibility_state_sti_and_nmi ()
void	guest_interruptibility_state_virtual_nmi ()
void	guest_interruptibility_state_enclave_interrupt ()
void	guest_pending_debug_exceptions_reserved ()
void	guest_pending_debug_exceptions_dbg_ctl ()
void	guest_pending_debug_exceptions_rtm ()
void	guest_vmcs_link_pointer_bits_11_0 ()
void	guest_vmcs_link_pointer_valid_addr ()
void	guest_vmcs_link_pointer_first_word ()
void	guest_vmcs_link_pointer_not_in_smm ()
void	guest_vmcs_link_pointer_in_smm ()
void	guest_pdptes_all ()
void	guest_valid_pdpte_with_ept_disabled ()
void	guest_valid_pdpte_with_ept_enabled ()
template<class MA , class C , class = typename std::enable_if<std::is_integral<MA>::value>::type, class = typename std::enable_if<std::is_integral<C>::value>::type>
auto	control_reserved_properly_set (MA msr_addr, C ctls, const char *ctls_name)
template<class T , class = typename std::enable_if<std::is_integral<T>::value>::type>
auto	memory_type_reserved (T memory_type)

Function Documentation

all()

void intel_x64::vmcs::check::all

(

)

Definition at line 28 of file vmcs_intel_x64_check_all.cpp.

control_vmx_controls_all()

void intel_x64::vmcs::check::control_vmx_controls_all

(

)

Definition at line 38 of file vmcs_intel_x64_check_controls.cpp.

control_vm_execution_control_fields_all()

void intel_x64::vmcs::check::control_vm_execution_control_fields_all

(

)

Definition at line 46 of file vmcs_intel_x64_check_controls.cpp.

control_pin_based_ctls_reserved_properly_set()

void intel_x64::vmcs::check::control_pin_based_ctls_reserved_properly_set

(

)

Definition at line 71 of file vmcs_intel_x64_check_controls.cpp.

control_proc_based_ctls_reserved_properly_set()

void intel_x64::vmcs::check::control_proc_based_ctls_reserved_properly_set

(

)

Definition at line 81 of file vmcs_intel_x64_check_controls.cpp.

control_proc_based_ctls2_reserved_properly_set()

void intel_x64::vmcs::check::control_proc_based_ctls2_reserved_properly_set

(

)

Definition at line 91 of file vmcs_intel_x64_check_controls.cpp.

control_cr3_count_less_then_4()

void intel_x64::vmcs::check::control_cr3_count_less_then_4

(

)

Definition at line 104 of file vmcs_intel_x64_check_controls.cpp.

control_io_bitmap_address_bits()

void intel_x64::vmcs::check::control_io_bitmap_address_bits

(

)

Definition at line 111 of file vmcs_intel_x64_check_controls.cpp.

control_msr_bitmap_address_bits()

void intel_x64::vmcs::check::control_msr_bitmap_address_bits

(

)

Definition at line 133 of file vmcs_intel_x64_check_controls.cpp.

control_tpr_shadow_and_virtual_apic()

void intel_x64::vmcs::check::control_tpr_shadow_and_virtual_apic

(

)

Definition at line 148 of file vmcs_intel_x64_check_controls.cpp.

control_nmi_exiting_and_virtual_nmi()

void intel_x64::vmcs::check::control_nmi_exiting_and_virtual_nmi

(

)

Definition at line 209 of file vmcs_intel_x64_check_controls.cpp.

control_virtual_nmi_and_nmi_window()

void intel_x64::vmcs::check::control_virtual_nmi_and_nmi_window

(

)

Definition at line 219 of file vmcs_intel_x64_check_controls.cpp.

control_virtual_apic_address_bits()

void intel_x64::vmcs::check::control_virtual_apic_address_bits

(

)

Definition at line 229 of file vmcs_intel_x64_check_controls.cpp.

control_x2apic_mode_and_virtual_apic_access()

void intel_x64::vmcs::check::control_x2apic_mode_and_virtual_apic_access

(

)

Definition at line 250 of file vmcs_intel_x64_check_controls.cpp.

control_virtual_interrupt_and_external_interrupt()

void intel_x64::vmcs::check::control_virtual_interrupt_and_external_interrupt

(

)

Definition at line 263 of file vmcs_intel_x64_check_controls.cpp.

control_process_posted_interrupt_checks()

void intel_x64::vmcs::check::control_process_posted_interrupt_checks

(

)

Definition at line 277 of file vmcs_intel_x64_check_controls.cpp.

control_vpid_checks()

void intel_x64::vmcs::check::control_vpid_checks

(

)

Definition at line 311 of file vmcs_intel_x64_check_controls.cpp.

control_enable_ept_checks()

void intel_x64::vmcs::check::control_enable_ept_checks

(

)

Definition at line 324 of file vmcs_intel_x64_check_controls.cpp.

control_unrestricted_guests()

void intel_x64::vmcs::check::control_unrestricted_guests

(

)

Definition at line 378 of file vmcs_intel_x64_check_controls.cpp.

control_enable_vm_functions()

void intel_x64::vmcs::check::control_enable_vm_functions

(

)

Definition at line 391 of file vmcs_intel_x64_check_controls.cpp.

control_enable_vmcs_shadowing()

void intel_x64::vmcs::check::control_enable_vmcs_shadowing

(

)

Definition at line 421 of file vmcs_intel_x64_check_controls.cpp.

control_enable_ept_violation_checks()

void intel_x64::vmcs::check::control_enable_ept_violation_checks

(

)

Definition at line 446 of file vmcs_intel_x64_check_controls.cpp.

control_enable_pml_checks()

void intel_x64::vmcs::check::control_enable_pml_checks

(

)

Definition at line 357 of file vmcs_intel_x64_check_controls.cpp.

control_vm_exit_control_fields_all()

void intel_x64::vmcs::check::control_vm_exit_control_fields_all

(

)

Definition at line 465 of file vmcs_intel_x64_check_controls.cpp.

control_vm_exit_ctls_reserved_properly_set()

void intel_x64::vmcs::check::control_vm_exit_ctls_reserved_properly_set

(

)

Definition at line 474 of file vmcs_intel_x64_check_controls.cpp.

control_activate_and_save_preemption_timer_must_be_0()

void intel_x64::vmcs::check::control_activate_and_save_preemption_timer_must_be_0

(

)

Definition at line 484 of file vmcs_intel_x64_check_controls.cpp.

control_exit_msr_store_address()

void intel_x64::vmcs::check::control_exit_msr_store_address

(

)

Definition at line 495 of file vmcs_intel_x64_check_controls.cpp.

control_exit_msr_load_address()

void intel_x64::vmcs::check::control_exit_msr_load_address

(

)

Definition at line 517 of file vmcs_intel_x64_check_controls.cpp.

control_vm_entry_control_fields_all()

void intel_x64::vmcs::check::control_vm_entry_control_fields_all

(

)

Definition at line 539 of file vmcs_intel_x64_check_controls.cpp.

control_vm_entry_ctls_reserved_properly_set()

void intel_x64::vmcs::check::control_vm_entry_ctls_reserved_properly_set

(

)

Definition at line 551 of file vmcs_intel_x64_check_controls.cpp.

control_event_injection_type_vector_checks()

void intel_x64::vmcs::check::control_event_injection_type_vector_checks

(

)

Definition at line 561 of file vmcs_intel_x64_check_controls.cpp.

control_event_injection_delivery_ec_checks()

void intel_x64::vmcs::check::control_event_injection_delivery_ec_checks

(

)

Definition at line 593 of file vmcs_intel_x64_check_controls.cpp.

control_event_injection_reserved_bits_checks()

void intel_x64::vmcs::check::control_event_injection_reserved_bits_checks

(

)

Definition at line 638 of file vmcs_intel_x64_check_controls.cpp.

control_event_injection_ec_checks()

void intel_x64::vmcs::check::control_event_injection_ec_checks

(

)

Definition at line 648 of file vmcs_intel_x64_check_controls.cpp.

control_event_injection_instr_length_checks()

void intel_x64::vmcs::check::control_event_injection_instr_length_checks

(

)

Definition at line 662 of file vmcs_intel_x64_check_controls.cpp.

control_entry_msr_load_address()

void intel_x64::vmcs::check::control_entry_msr_load_address

(

)

Definition at line 691 of file vmcs_intel_x64_check_controls.cpp.

host_state_all()

void intel_x64::vmcs::check::host_state_all

(

)

Definition at line 34 of file vmcs_intel_x64_check_host.cpp.

host_control_registers_and_msrs_all()

void intel_x64::vmcs::check::host_control_registers_and_msrs_all

(

)

Definition at line 42 of file vmcs_intel_x64_check_host.cpp.

host_cr0_for_unsupported_bits()

void intel_x64::vmcs::check::host_cr0_for_unsupported_bits

(

)

Definition at line 55 of file vmcs_intel_x64_check_host.cpp.

host_cr4_for_unsupported_bits()

void intel_x64::vmcs::check::host_cr4_for_unsupported_bits

(

)

Definition at line 73 of file vmcs_intel_x64_check_host.cpp.

host_cr3_for_unsupported_bits()

void intel_x64::vmcs::check::host_cr3_for_unsupported_bits

(

)

Definition at line 91 of file vmcs_intel_x64_check_host.cpp.

host_ia32_sysenter_esp_canonical_address()

void intel_x64::vmcs::check::host_ia32_sysenter_esp_canonical_address

(

)

Definition at line 98 of file vmcs_intel_x64_check_host.cpp.

host_ia32_sysenter_eip_canonical_address()

void intel_x64::vmcs::check::host_ia32_sysenter_eip_canonical_address

(

)

Definition at line 105 of file vmcs_intel_x64_check_host.cpp.

host_verify_load_ia32_perf_global_ctrl()

void intel_x64::vmcs::check::host_verify_load_ia32_perf_global_ctrl

(

)

Definition at line 112 of file vmcs_intel_x64_check_host.cpp.

host_verify_load_ia32_pat()

void intel_x64::vmcs::check::host_verify_load_ia32_pat

(

)

Definition at line 122 of file vmcs_intel_x64_check_host.cpp.

host_verify_load_ia32_efer()

void intel_x64::vmcs::check::host_verify_load_ia32_efer

(

)

Definition at line 153 of file vmcs_intel_x64_check_host.cpp.

host_segment_and_descriptor_table_registers_all()

void intel_x64::vmcs::check::host_segment_and_descriptor_table_registers_all

(

)

Definition at line 182 of file vmcs_intel_x64_check_host.cpp.

host_es_selector_rpl_ti_equal_zero()

void intel_x64::vmcs::check::host_es_selector_rpl_ti_equal_zero

(

)

Definition at line 202 of file vmcs_intel_x64_check_host.cpp.

host_cs_selector_rpl_ti_equal_zero()

void intel_x64::vmcs::check::host_cs_selector_rpl_ti_equal_zero

(

)

Definition at line 212 of file vmcs_intel_x64_check_host.cpp.

host_ss_selector_rpl_ti_equal_zero()

void intel_x64::vmcs::check::host_ss_selector_rpl_ti_equal_zero

(

)

Definition at line 222 of file vmcs_intel_x64_check_host.cpp.

host_ds_selector_rpl_ti_equal_zero()

void intel_x64::vmcs::check::host_ds_selector_rpl_ti_equal_zero

(

)

Definition at line 232 of file vmcs_intel_x64_check_host.cpp.

host_fs_selector_rpl_ti_equal_zero()

void intel_x64::vmcs::check::host_fs_selector_rpl_ti_equal_zero

(

)

Definition at line 242 of file vmcs_intel_x64_check_host.cpp.

host_gs_selector_rpl_ti_equal_zero()

void intel_x64::vmcs::check::host_gs_selector_rpl_ti_equal_zero

(

)

Definition at line 252 of file vmcs_intel_x64_check_host.cpp.

host_tr_selector_rpl_ti_equal_zero()

void intel_x64::vmcs::check::host_tr_selector_rpl_ti_equal_zero

(

)

Definition at line 262 of file vmcs_intel_x64_check_host.cpp.

host_cs_not_equal_zero()

void intel_x64::vmcs::check::host_cs_not_equal_zero

(

)

Definition at line 272 of file vmcs_intel_x64_check_host.cpp.

host_tr_not_equal_zero()

void intel_x64::vmcs::check::host_tr_not_equal_zero

(

)

Definition at line 279 of file vmcs_intel_x64_check_host.cpp.

host_ss_not_equal_zero()

void intel_x64::vmcs::check::host_ss_not_equal_zero

(

)

Definition at line 286 of file vmcs_intel_x64_check_host.cpp.

host_fs_canonical_base_address()

void intel_x64::vmcs::check::host_fs_canonical_base_address

(

)

Definition at line 296 of file vmcs_intel_x64_check_host.cpp.

host_gs_canonical_base_address()

void intel_x64::vmcs::check::host_gs_canonical_base_address

(

)

Definition at line 303 of file vmcs_intel_x64_check_host.cpp.

host_gdtr_canonical_base_address()

void intel_x64::vmcs::check::host_gdtr_canonical_base_address

(

)

Definition at line 310 of file vmcs_intel_x64_check_host.cpp.

host_idtr_canonical_base_address()

void intel_x64::vmcs::check::host_idtr_canonical_base_address

(

)

Definition at line 317 of file vmcs_intel_x64_check_host.cpp.

host_tr_canonical_base_address()

void intel_x64::vmcs::check::host_tr_canonical_base_address

(

)

Definition at line 324 of file vmcs_intel_x64_check_host.cpp.

host_address_space_size_all()

void intel_x64::vmcs::check::host_address_space_size_all

(

)

Definition at line 331 of file vmcs_intel_x64_check_host.cpp.

host_if_outside_ia32e_mode()

void intel_x64::vmcs::check::host_if_outside_ia32e_mode

(

)

Definition at line 340 of file vmcs_intel_x64_check_host.cpp.

host_address_space_size_exit_ctl_is_set()

void intel_x64::vmcs::check::host_address_space_size_exit_ctl_is_set

(

)

Definition at line 353 of file vmcs_intel_x64_check_host.cpp.

host_address_space_disabled()

void intel_x64::vmcs::check::host_address_space_disabled

(

)

Definition at line 363 of file vmcs_intel_x64_check_host.cpp.

host_address_space_enabled()

void intel_x64::vmcs::check::host_address_space_enabled

(

)

Definition at line 379 of file vmcs_intel_x64_check_host.cpp.

guest_state_all()

void intel_x64::vmcs::check::guest_state_all

(

)

Definition at line 43 of file vmcs_intel_x64_check_guest.cpp.

guest_control_registers_debug_registers_and_msrs_all()

void intel_x64::vmcs::check::guest_control_registers_debug_registers_and_msrs_all

(

)

Definition at line 54 of file vmcs_intel_x64_check_guest.cpp.

guest_cr0_for_unsupported_bits()

void intel_x64::vmcs::check::guest_cr0_for_unsupported_bits

(

)

Definition at line 73 of file vmcs_intel_x64_check_guest.cpp.

guest_cr0_verify_paging_enabled()

void intel_x64::vmcs::check::guest_cr0_verify_paging_enabled

(

)

Definition at line 94 of file vmcs_intel_x64_check_guest.cpp.

guest_cr4_for_unsupported_bits()

void intel_x64::vmcs::check::guest_cr4_for_unsupported_bits

(

)

Definition at line 104 of file vmcs_intel_x64_check_guest.cpp.

guest_load_debug_controls_verify_reserved()

void intel_x64::vmcs::check::guest_load_debug_controls_verify_reserved

(

)

Definition at line 122 of file vmcs_intel_x64_check_guest.cpp.

guest_verify_ia_32e_mode_enabled()

void intel_x64::vmcs::check::guest_verify_ia_32e_mode_enabled

(

)

Definition at line 132 of file vmcs_intel_x64_check_guest.cpp.

guest_verify_ia_32e_mode_disabled()

void intel_x64::vmcs::check::guest_verify_ia_32e_mode_disabled

(

)

Definition at line 145 of file vmcs_intel_x64_check_guest.cpp.

guest_cr3_for_unsupported_bits()

void intel_x64::vmcs::check::guest_cr3_for_unsupported_bits

(

)

Definition at line 155 of file vmcs_intel_x64_check_guest.cpp.

guest_load_debug_controls_verify_dr7()

void intel_x64::vmcs::check::guest_load_debug_controls_verify_dr7

(

)

Definition at line 162 of file vmcs_intel_x64_check_guest.cpp.

guest_ia32_sysenter_esp_canonical_address()

void intel_x64::vmcs::check::guest_ia32_sysenter_esp_canonical_address

(

)

Definition at line 174 of file vmcs_intel_x64_check_guest.cpp.

guest_ia32_sysenter_eip_canonical_address()

void intel_x64::vmcs::check::guest_ia32_sysenter_eip_canonical_address

(

)

Definition at line 181 of file vmcs_intel_x64_check_guest.cpp.

guest_verify_load_ia32_perf_global_ctrl()

void intel_x64::vmcs::check::guest_verify_load_ia32_perf_global_ctrl

(

)

Definition at line 188 of file vmcs_intel_x64_check_guest.cpp.

guest_verify_load_ia32_pat()

void intel_x64::vmcs::check::guest_verify_load_ia32_pat

(

)

Definition at line 198 of file vmcs_intel_x64_check_guest.cpp.

guest_verify_load_ia32_efer()

void intel_x64::vmcs::check::guest_verify_load_ia32_efer

(

)

Definition at line 229 of file vmcs_intel_x64_check_guest.cpp.

guest_verify_load_ia32_bndcfgs()

void intel_x64::vmcs::check::guest_verify_load_ia32_bndcfgs

(

)

Definition at line 258 of file vmcs_intel_x64_check_guest.cpp.

guest_segment_registers_all()

void intel_x64::vmcs::check::guest_segment_registers_all

(

)

Definition at line 277 of file vmcs_intel_x64_check_guest.cpp.

guest_tr_ti_bit_equals_0()

void intel_x64::vmcs::check::guest_tr_ti_bit_equals_0

(

)

Definition at line 369 of file vmcs_intel_x64_check_guest.cpp.

guest_ldtr_ti_bit_equals_0()

void intel_x64::vmcs::check::guest_ldtr_ti_bit_equals_0

(

)

Definition at line 376 of file vmcs_intel_x64_check_guest.cpp.

guest_ss_and_cs_rpl_are_the_same()

void intel_x64::vmcs::check::guest_ss_and_cs_rpl_are_the_same

(

)

Definition at line 386 of file vmcs_intel_x64_check_guest.cpp.

guest_cs_base_is_shifted()

void intel_x64::vmcs::check::guest_cs_base_is_shifted

(

)

Definition at line 402 of file vmcs_intel_x64_check_guest.cpp.

guest_ss_base_is_shifted()

void intel_x64::vmcs::check::guest_ss_base_is_shifted

(

)

Definition at line 414 of file vmcs_intel_x64_check_guest.cpp.

guest_ds_base_is_shifted()

void intel_x64::vmcs::check::guest_ds_base_is_shifted

(

)

Definition at line 426 of file vmcs_intel_x64_check_guest.cpp.

guest_es_base_is_shifted()

void intel_x64::vmcs::check::guest_es_base_is_shifted

(

)

Definition at line 438 of file vmcs_intel_x64_check_guest.cpp.

guest_fs_base_is_shifted()

void intel_x64::vmcs::check::guest_fs_base_is_shifted

(

)

Definition at line 450 of file vmcs_intel_x64_check_guest.cpp.

guest_gs_base_is_shifted()

void intel_x64::vmcs::check::guest_gs_base_is_shifted

(

)

Definition at line 462 of file vmcs_intel_x64_check_guest.cpp.

guest_tr_base_is_canonical()

void intel_x64::vmcs::check::guest_tr_base_is_canonical

(

)

Definition at line 474 of file vmcs_intel_x64_check_guest.cpp.

guest_fs_base_is_canonical()

void intel_x64::vmcs::check::guest_fs_base_is_canonical

(

)

Definition at line 481 of file vmcs_intel_x64_check_guest.cpp.

guest_gs_base_is_canonical()

void intel_x64::vmcs::check::guest_gs_base_is_canonical

(

)

Definition at line 488 of file vmcs_intel_x64_check_guest.cpp.

guest_ldtr_base_is_canonical()

void intel_x64::vmcs::check::guest_ldtr_base_is_canonical

(

)

Definition at line 495 of file vmcs_intel_x64_check_guest.cpp.

guest_cs_base_upper_dword_0()

void intel_x64::vmcs::check::guest_cs_base_upper_dword_0

(

)

Definition at line 505 of file vmcs_intel_x64_check_guest.cpp.

guest_ss_base_upper_dword_0()

void intel_x64::vmcs::check::guest_ss_base_upper_dword_0

(

)

Definition at line 512 of file vmcs_intel_x64_check_guest.cpp.

guest_ds_base_upper_dword_0()

void intel_x64::vmcs::check::guest_ds_base_upper_dword_0

(

)

Definition at line 522 of file vmcs_intel_x64_check_guest.cpp.

guest_es_base_upper_dword_0()

void intel_x64::vmcs::check::guest_es_base_upper_dword_0

(

)

Definition at line 532 of file vmcs_intel_x64_check_guest.cpp.

guest_cs_limit()

void intel_x64::vmcs::check::guest_cs_limit

(

)

Definition at line 542 of file vmcs_intel_x64_check_guest.cpp.

guest_ss_limit()

void intel_x64::vmcs::check::guest_ss_limit

(

)

Definition at line 554 of file vmcs_intel_x64_check_guest.cpp.

guest_ds_limit()

void intel_x64::vmcs::check::guest_ds_limit

(

)

Definition at line 566 of file vmcs_intel_x64_check_guest.cpp.

guest_es_limit()

void intel_x64::vmcs::check::guest_es_limit

(

)

Definition at line 578 of file vmcs_intel_x64_check_guest.cpp.

guest_gs_limit()

void intel_x64::vmcs::check::guest_gs_limit

(

)

Definition at line 590 of file vmcs_intel_x64_check_guest.cpp.

guest_fs_limit()

void intel_x64::vmcs::check::guest_fs_limit

(

)

Definition at line 602 of file vmcs_intel_x64_check_guest.cpp.

guest_v8086_cs_access_rights()

void intel_x64::vmcs::check::guest_v8086_cs_access_rights

(

)

Definition at line 614 of file vmcs_intel_x64_check_guest.cpp.

guest_v8086_ss_access_rights()

void intel_x64::vmcs::check::guest_v8086_ss_access_rights

(

)

Definition at line 624 of file vmcs_intel_x64_check_guest.cpp.

guest_v8086_ds_access_rights()

void intel_x64::vmcs::check::guest_v8086_ds_access_rights

(

)

Definition at line 634 of file vmcs_intel_x64_check_guest.cpp.

guest_v8086_es_access_rights()

void intel_x64::vmcs::check::guest_v8086_es_access_rights

(

)

Definition at line 644 of file vmcs_intel_x64_check_guest.cpp.

guest_v8086_fs_access_rights()

void intel_x64::vmcs::check::guest_v8086_fs_access_rights

(

)

Definition at line 654 of file vmcs_intel_x64_check_guest.cpp.

guest_v8086_gs_access_rights()

void intel_x64::vmcs::check::guest_v8086_gs_access_rights

(

)

Definition at line 664 of file vmcs_intel_x64_check_guest.cpp.

guest_cs_access_rights_type()

void intel_x64::vmcs::check::guest_cs_access_rights_type

(

)

Definition at line 674 of file vmcs_intel_x64_check_guest.cpp.

guest_ss_access_rights_type()

void intel_x64::vmcs::check::guest_ss_access_rights_type

(

)

Definition at line 706 of file vmcs_intel_x64_check_guest.cpp.

guest_ds_access_rights_type()

void intel_x64::vmcs::check::guest_ds_access_rights_type

(

)

Definition at line 728 of file vmcs_intel_x64_check_guest.cpp.

guest_es_access_rights_type()

void intel_x64::vmcs::check::guest_es_access_rights_type

(

)

Definition at line 754 of file vmcs_intel_x64_check_guest.cpp.

guest_fs_access_rights_type()

void intel_x64::vmcs::check::guest_fs_access_rights_type

(

)

Definition at line 780 of file vmcs_intel_x64_check_guest.cpp.

guest_gs_access_rights_type()

void intel_x64::vmcs::check::guest_gs_access_rights_type

(

)

Definition at line 806 of file vmcs_intel_x64_check_guest.cpp.

guest_cs_is_not_a_system_descriptor()

void intel_x64::vmcs::check::guest_cs_is_not_a_system_descriptor

(

)

Definition at line 832 of file vmcs_intel_x64_check_guest.cpp.

guest_ss_is_not_a_system_descriptor()

void intel_x64::vmcs::check::guest_ss_is_not_a_system_descriptor

(

)

Definition at line 842 of file vmcs_intel_x64_check_guest.cpp.

guest_ds_is_not_a_system_descriptor()

void intel_x64::vmcs::check::guest_ds_is_not_a_system_descriptor

(

)

Definition at line 855 of file vmcs_intel_x64_check_guest.cpp.

guest_es_is_not_a_system_descriptor()

void intel_x64::vmcs::check::guest_es_is_not_a_system_descriptor

(

)

Definition at line 868 of file vmcs_intel_x64_check_guest.cpp.

guest_fs_is_not_a_system_descriptor()

void intel_x64::vmcs::check::guest_fs_is_not_a_system_descriptor

(

)

Definition at line 881 of file vmcs_intel_x64_check_guest.cpp.

guest_gs_is_not_a_system_descriptor()

void intel_x64::vmcs::check::guest_gs_is_not_a_system_descriptor

(

)

Definition at line 894 of file vmcs_intel_x64_check_guest.cpp.

guest_cs_type_not_equal_3()

void intel_x64::vmcs::check::guest_cs_type_not_equal_3

(

)

Definition at line 907 of file vmcs_intel_x64_check_guest.cpp.

guest_cs_dpl_adheres_to_ss_dpl()

void intel_x64::vmcs::check::guest_cs_dpl_adheres_to_ss_dpl

(

)

Definition at line 926 of file vmcs_intel_x64_check_guest.cpp.

guest_ss_dpl_must_equal_rpl()

void intel_x64::vmcs::check::guest_ss_dpl_must_equal_rpl

(

)

Definition at line 963 of file vmcs_intel_x64_check_guest.cpp.

guest_ss_dpl_must_equal_zero()

void intel_x64::vmcs::check::guest_ss_dpl_must_equal_zero

(

)

Definition at line 982 of file vmcs_intel_x64_check_guest.cpp.

guest_ds_dpl()

void intel_x64::vmcs::check::guest_ds_dpl

(

)

Definition at line 1002 of file vmcs_intel_x64_check_guest.cpp.

guest_es_dpl()

void intel_x64::vmcs::check::guest_es_dpl

(

)

Definition at line 1039 of file vmcs_intel_x64_check_guest.cpp.

guest_fs_dpl()

void intel_x64::vmcs::check::guest_fs_dpl

(

)

Definition at line 1076 of file vmcs_intel_x64_check_guest.cpp.

guest_gs_dpl()

void intel_x64::vmcs::check::guest_gs_dpl

(

)

Definition at line 1113 of file vmcs_intel_x64_check_guest.cpp.

guest_cs_must_be_present()

void intel_x64::vmcs::check::guest_cs_must_be_present

(

)

Definition at line 1150 of file vmcs_intel_x64_check_guest.cpp.

guest_ss_must_be_present_if_usable()

void intel_x64::vmcs::check::guest_ss_must_be_present_if_usable

(

)

Definition at line 1160 of file vmcs_intel_x64_check_guest.cpp.

guest_ds_must_be_present_if_usable()

void intel_x64::vmcs::check::guest_ds_must_be_present_if_usable

(

)

Definition at line 1173 of file vmcs_intel_x64_check_guest.cpp.

guest_es_must_be_present_if_usable()

void intel_x64::vmcs::check::guest_es_must_be_present_if_usable

(

)

Definition at line 1186 of file vmcs_intel_x64_check_guest.cpp.

guest_fs_must_be_present_if_usable()

void intel_x64::vmcs::check::guest_fs_must_be_present_if_usable

(

)

Definition at line 1199 of file vmcs_intel_x64_check_guest.cpp.

guest_gs_must_be_present_if_usable()

void intel_x64::vmcs::check::guest_gs_must_be_present_if_usable

(

)

Definition at line 1212 of file vmcs_intel_x64_check_guest.cpp.

guest_cs_access_rights_reserved_must_be_0()

void intel_x64::vmcs::check::guest_cs_access_rights_reserved_must_be_0

(

)

Definition at line 1225 of file vmcs_intel_x64_check_guest.cpp.

guest_ss_access_rights_reserved_must_be_0()

void intel_x64::vmcs::check::guest_ss_access_rights_reserved_must_be_0

(

)

Definition at line 1235 of file vmcs_intel_x64_check_guest.cpp.

guest_ds_access_rights_reserved_must_be_0()

void intel_x64::vmcs::check::guest_ds_access_rights_reserved_must_be_0

(

)

Definition at line 1248 of file vmcs_intel_x64_check_guest.cpp.

guest_es_access_rights_reserved_must_be_0()

void intel_x64::vmcs::check::guest_es_access_rights_reserved_must_be_0

(

)

Definition at line 1261 of file vmcs_intel_x64_check_guest.cpp.

guest_fs_access_rights_reserved_must_be_0()

void intel_x64::vmcs::check::guest_fs_access_rights_reserved_must_be_0

(

)

Definition at line 1274 of file vmcs_intel_x64_check_guest.cpp.

guest_gs_access_rights_reserved_must_be_0()

void intel_x64::vmcs::check::guest_gs_access_rights_reserved_must_be_0

(

)

Definition at line 1287 of file vmcs_intel_x64_check_guest.cpp.

guest_cs_db_must_be_0_if_l_equals_1()

void intel_x64::vmcs::check::guest_cs_db_must_be_0_if_l_equals_1

(

)

Definition at line 1300 of file vmcs_intel_x64_check_guest.cpp.

guest_cs_granularity()

void intel_x64::vmcs::check::guest_cs_granularity

(

)

Definition at line 1316 of file vmcs_intel_x64_check_guest.cpp.

guest_ss_granularity()

void intel_x64::vmcs::check::guest_ss_granularity

(

)

Definition at line 1332 of file vmcs_intel_x64_check_guest.cpp.

guest_ds_granularity()

void intel_x64::vmcs::check::guest_ds_granularity

(

)

Definition at line 1351 of file vmcs_intel_x64_check_guest.cpp.

guest_es_granularity()

void intel_x64::vmcs::check::guest_es_granularity

(

)

Definition at line 1370 of file vmcs_intel_x64_check_guest.cpp.

guest_fs_granularity()

void intel_x64::vmcs::check::guest_fs_granularity

(

)

Definition at line 1389 of file vmcs_intel_x64_check_guest.cpp.

guest_gs_granularity()

void intel_x64::vmcs::check::guest_gs_granularity

(

)

Definition at line 1408 of file vmcs_intel_x64_check_guest.cpp.

guest_cs_access_rights_remaining_reserved_bit_0()

void intel_x64::vmcs::check::guest_cs_access_rights_remaining_reserved_bit_0

(

)

Definition at line 1427 of file vmcs_intel_x64_check_guest.cpp.

guest_ss_access_rights_remaining_reserved_bit_0()

void intel_x64::vmcs::check::guest_ss_access_rights_remaining_reserved_bit_0

(

)

Definition at line 1437 of file vmcs_intel_x64_check_guest.cpp.

guest_ds_access_rights_remaining_reserved_bit_0()

void intel_x64::vmcs::check::guest_ds_access_rights_remaining_reserved_bit_0

(

)

Definition at line 1450 of file vmcs_intel_x64_check_guest.cpp.

guest_es_access_rights_remaining_reserved_bit_0()

void intel_x64::vmcs::check::guest_es_access_rights_remaining_reserved_bit_0

(

)

Definition at line 1463 of file vmcs_intel_x64_check_guest.cpp.

guest_fs_access_rights_remaining_reserved_bit_0()

void intel_x64::vmcs::check::guest_fs_access_rights_remaining_reserved_bit_0

(

)

Definition at line 1476 of file vmcs_intel_x64_check_guest.cpp.

guest_gs_access_rights_remaining_reserved_bit_0()

void intel_x64::vmcs::check::guest_gs_access_rights_remaining_reserved_bit_0

(

)

Definition at line 1489 of file vmcs_intel_x64_check_guest.cpp.

guest_tr_type_must_be_11()

void intel_x64::vmcs::check::guest_tr_type_must_be_11

(

)

Definition at line 1502 of file vmcs_intel_x64_check_guest.cpp.

guest_tr_must_be_a_system_descriptor()

void intel_x64::vmcs::check::guest_tr_must_be_a_system_descriptor

(

)

Definition at line 1521 of file vmcs_intel_x64_check_guest.cpp.

guest_tr_must_be_present()

void intel_x64::vmcs::check::guest_tr_must_be_present

(

)

Definition at line 1528 of file vmcs_intel_x64_check_guest.cpp.

guest_tr_access_rights_reserved_must_be_0()

void intel_x64::vmcs::check::guest_tr_access_rights_reserved_must_be_0

(

)

Definition at line 1535 of file vmcs_intel_x64_check_guest.cpp.

guest_tr_granularity()

void intel_x64::vmcs::check::guest_tr_granularity

(

)

Definition at line 1542 of file vmcs_intel_x64_check_guest.cpp.

guest_tr_must_be_usable()

void intel_x64::vmcs::check::guest_tr_must_be_usable

(

)

Definition at line 1555 of file vmcs_intel_x64_check_guest.cpp.

guest_tr_access_rights_remaining_reserved_bit_0()

void intel_x64::vmcs::check::guest_tr_access_rights_remaining_reserved_bit_0

(

)

Definition at line 1562 of file vmcs_intel_x64_check_guest.cpp.

guest_ldtr_type_must_be_2()

void intel_x64::vmcs::check::guest_ldtr_type_must_be_2

(

)

Definition at line 1571 of file vmcs_intel_x64_check_guest.cpp.

guest_ldtr_must_be_a_system_descriptor()

void intel_x64::vmcs::check::guest_ldtr_must_be_a_system_descriptor

(

)

Definition at line 1587 of file vmcs_intel_x64_check_guest.cpp.

guest_ldtr_must_be_present()

void intel_x64::vmcs::check::guest_ldtr_must_be_present

(

)

Definition at line 1597 of file vmcs_intel_x64_check_guest.cpp.

guest_ldtr_access_rights_reserved_must_be_0()

void intel_x64::vmcs::check::guest_ldtr_access_rights_reserved_must_be_0

(

)

Definition at line 1607 of file vmcs_intel_x64_check_guest.cpp.

guest_ldtr_granularity()

void intel_x64::vmcs::check::guest_ldtr_granularity

(

)

Definition at line 1617 of file vmcs_intel_x64_check_guest.cpp.

guest_ldtr_access_rights_remaining_reserved_bit_0()

void intel_x64::vmcs::check::guest_ldtr_access_rights_remaining_reserved_bit_0

(

)

Definition at line 1633 of file vmcs_intel_x64_check_guest.cpp.

guest_descriptor_table_registers_all()

void intel_x64::vmcs::check::guest_descriptor_table_registers_all

(

)

Definition at line 1645 of file vmcs_intel_x64_check_guest.cpp.

guest_gdtr_base_must_be_canonical()

void intel_x64::vmcs::check::guest_gdtr_base_must_be_canonical

(

)

Definition at line 1654 of file vmcs_intel_x64_check_guest.cpp.

guest_idtr_base_must_be_canonical()

void intel_x64::vmcs::check::guest_idtr_base_must_be_canonical

(

)

Definition at line 1661 of file vmcs_intel_x64_check_guest.cpp.

guest_gdtr_limit_reserved_bits()

void intel_x64::vmcs::check::guest_gdtr_limit_reserved_bits

(

)

Definition at line 1668 of file vmcs_intel_x64_check_guest.cpp.

guest_idtr_limit_reserved_bits()

void intel_x64::vmcs::check::guest_idtr_limit_reserved_bits

(

)

Definition at line 1677 of file vmcs_intel_x64_check_guest.cpp.

guest_rip_and_rflags_all()

void intel_x64::vmcs::check::guest_rip_and_rflags_all

(

)

Definition at line 1686 of file vmcs_intel_x64_check_guest.cpp.

guest_rip_upper_bits()

void intel_x64::vmcs::check::guest_rip_upper_bits

(

)

Definition at line 1696 of file vmcs_intel_x64_check_guest.cpp.

guest_rip_valid_addr()

void intel_x64::vmcs::check::guest_rip_valid_addr

(

)

Definition at line 1708 of file vmcs_intel_x64_check_guest.cpp.

guest_rflags_reserved_bits()

void intel_x64::vmcs::check::guest_rflags_reserved_bits

(

)

Definition at line 1723 of file vmcs_intel_x64_check_guest.cpp.

guest_rflags_vm_bit()

void intel_x64::vmcs::check::guest_rflags_vm_bit

(

)

Definition at line 1733 of file vmcs_intel_x64_check_guest.cpp.

guest_rflag_interrupt_enable()

void intel_x64::vmcs::check::guest_rflag_interrupt_enable

(

)

Definition at line 1743 of file vmcs_intel_x64_check_guest.cpp.

guest_non_register_state_all()

void intel_x64::vmcs::check::guest_non_register_state_all

(

)

Definition at line 1758 of file vmcs_intel_x64_check_guest.cpp.

guest_valid_activity_state()

void intel_x64::vmcs::check::guest_valid_activity_state

(

)

Definition at line 1788 of file vmcs_intel_x64_check_guest.cpp.

guest_activity_state_not_hlt_when_dpl_not_0()

void intel_x64::vmcs::check::guest_activity_state_not_hlt_when_dpl_not_0

(

)

Definition at line 1795 of file vmcs_intel_x64_check_guest.cpp.

guest_must_be_active_if_injecting_blocking_state()

void intel_x64::vmcs::check::guest_must_be_active_if_injecting_blocking_state

(

)

Definition at line 1805 of file vmcs_intel_x64_check_guest.cpp.

guest_hlt_valid_interrupts()

void intel_x64::vmcs::check::guest_hlt_valid_interrupts

(

)

Definition at line 1820 of file vmcs_intel_x64_check_guest.cpp.

guest_shutdown_valid_interrupts()

void intel_x64::vmcs::check::guest_shutdown_valid_interrupts

(

)

Definition at line 1862 of file vmcs_intel_x64_check_guest.cpp.

guest_sipi_valid_interrupts()

void intel_x64::vmcs::check::guest_sipi_valid_interrupts

(

)

Definition at line 1894 of file vmcs_intel_x64_check_guest.cpp.

guest_valid_activity_state_and_smm()

void intel_x64::vmcs::check::guest_valid_activity_state_and_smm

(

)

Definition at line 1906 of file vmcs_intel_x64_check_guest.cpp.

guest_interruptibility_state_reserved()

void intel_x64::vmcs::check::guest_interruptibility_state_reserved

(

)

Definition at line 1918 of file vmcs_intel_x64_check_guest.cpp.

guest_interruptibility_state_sti_mov_ss()

void intel_x64::vmcs::check::guest_interruptibility_state_sti_mov_ss

(

)

Definition at line 1925 of file vmcs_intel_x64_check_guest.cpp.

guest_interruptibility_state_sti()

void intel_x64::vmcs::check::guest_interruptibility_state_sti

(

)

Definition at line 1936 of file vmcs_intel_x64_check_guest.cpp.

guest_interruptibility_state_external_interrupt()

void intel_x64::vmcs::check::guest_interruptibility_state_external_interrupt

(

)

Definition at line 1946 of file vmcs_intel_x64_check_guest.cpp.

guest_interruptibility_state_nmi()

void intel_x64::vmcs::check::guest_interruptibility_state_nmi

(

)

Definition at line 1966 of file vmcs_intel_x64_check_guest.cpp.

guest_interruptibility_not_in_smm()

void intel_x64::vmcs::check::guest_interruptibility_not_in_smm

(

)

Definition at line 1982 of file vmcs_intel_x64_check_guest.cpp.

guest_interruptibility_entry_to_smm()

void intel_x64::vmcs::check::guest_interruptibility_entry_to_smm

(

)

Definition at line 1987 of file vmcs_intel_x64_check_guest.cpp.

guest_interruptibility_state_sti_and_nmi()

void intel_x64::vmcs::check::guest_interruptibility_state_sti_and_nmi

(

)

Definition at line 1998 of file vmcs_intel_x64_check_guest.cpp.

guest_interruptibility_state_virtual_nmi()

void intel_x64::vmcs::check::guest_interruptibility_state_virtual_nmi

(

)

Definition at line 2014 of file vmcs_intel_x64_check_guest.cpp.

guest_interruptibility_state_enclave_interrupt()

void intel_x64::vmcs::check::guest_interruptibility_state_enclave_interrupt

(

)

Definition at line 2033 of file vmcs_intel_x64_check_guest.cpp.

guest_pending_debug_exceptions_reserved()

void intel_x64::vmcs::check::guest_pending_debug_exceptions_reserved

(

)

Definition at line 2048 of file vmcs_intel_x64_check_guest.cpp.

guest_pending_debug_exceptions_dbg_ctl()

void intel_x64::vmcs::check::guest_pending_debug_exceptions_dbg_ctl

(

)

Definition at line 2055 of file vmcs_intel_x64_check_guest.cpp.

guest_pending_debug_exceptions_rtm()

void intel_x64::vmcs::check::guest_pending_debug_exceptions_rtm

(

)

Definition at line 2078 of file vmcs_intel_x64_check_guest.cpp.

guest_vmcs_link_pointer_bits_11_0()

void intel_x64::vmcs::check::guest_vmcs_link_pointer_bits_11_0

(

)

Definition at line 2100 of file vmcs_intel_x64_check_guest.cpp.

guest_vmcs_link_pointer_valid_addr()

void intel_x64::vmcs::check::guest_vmcs_link_pointer_valid_addr

(

)

Definition at line 2112 of file vmcs_intel_x64_check_guest.cpp.

guest_vmcs_link_pointer_first_word()

void intel_x64::vmcs::check::guest_vmcs_link_pointer_first_word

(

)

Definition at line 2124 of file vmcs_intel_x64_check_guest.cpp.

guest_vmcs_link_pointer_not_in_smm()

void intel_x64::vmcs::check::guest_vmcs_link_pointer_not_in_smm

(

)

Definition at line 2153 of file vmcs_intel_x64_check_guest.cpp.

guest_vmcs_link_pointer_in_smm()

void intel_x64::vmcs::check::guest_vmcs_link_pointer_in_smm

(

)

Definition at line 2158 of file vmcs_intel_x64_check_guest.cpp.

guest_pdptes_all()

void intel_x64::vmcs::check::guest_pdptes_all

(

)

Definition at line 2163 of file vmcs_intel_x64_check_guest.cpp.

guest_valid_pdpte_with_ept_disabled()

void intel_x64::vmcs::check::guest_valid_pdpte_with_ept_disabled

(

)

Definition at line 2170 of file vmcs_intel_x64_check_guest.cpp.

guest_valid_pdpte_with_ept_enabled()

void intel_x64::vmcs::check::guest_valid_pdpte_with_ept_enabled

(

)

Definition at line 2204 of file vmcs_intel_x64_check_guest.cpp.

control_reserved_properly_set()

template<class MA , class C , class = typename std::enable_if<std::is_integral<MA>::value>::type, class = typename std::enable_if<std::is_integral<C>::value>::type>

auto intel_x64::vmcs::check::control_reserved_properly_set	(	MA	msr_addr,
		C	ctls,
		const char *	ctls_name
	)

Definition at line 270 of file vmcs_intel_x64_check.h.

memory_type_reserved()

template<class T , class = typename std::enable_if<std::is_integral<T>::value>::type>

auto intel_x64::vmcs::check::memory_type_reserved

(

T

memory_type

)

Definition at line 305 of file vmcs_intel_x64_check.h.