Go to the source code of this file.

Namespaces
	intel_x64

	intel_x64::vmcs

	intel_x64::vmcs::check

Functions
void	intel_x64::vmcs::check::all ()

void	intel_x64::vmcs::check::control_vmx_controls_all ()

void	intel_x64::vmcs::check::control_vm_execution_control_fields_all ()

void	intel_x64::vmcs::check::control_pin_based_ctls_reserved_properly_set ()

void	intel_x64::vmcs::check::control_proc_based_ctls_reserved_properly_set ()

void	intel_x64::vmcs::check::control_proc_based_ctls2_reserved_properly_set ()

void	intel_x64::vmcs::check::control_cr3_count_less_then_4 ()

void	intel_x64::vmcs::check::control_io_bitmap_address_bits ()

void	intel_x64::vmcs::check::control_msr_bitmap_address_bits ()

void	intel_x64::vmcs::check::control_tpr_shadow_and_virtual_apic ()

void	intel_x64::vmcs::check::control_nmi_exiting_and_virtual_nmi ()

void	intel_x64::vmcs::check::control_virtual_nmi_and_nmi_window ()

void	intel_x64::vmcs::check::control_virtual_apic_address_bits ()

void	intel_x64::vmcs::check::control_x2apic_mode_and_virtual_apic_access ()

void	intel_x64::vmcs::check::control_virtual_interrupt_and_external_interrupt ()

void	intel_x64::vmcs::check::control_process_posted_interrupt_checks ()

void	intel_x64::vmcs::check::control_vpid_checks ()

void	intel_x64::vmcs::check::control_enable_ept_checks ()

void	intel_x64::vmcs::check::control_unrestricted_guests ()

void	intel_x64::vmcs::check::control_enable_vm_functions ()

void	intel_x64::vmcs::check::control_enable_vmcs_shadowing ()

void	intel_x64::vmcs::check::control_enable_ept_violation_checks ()

void	intel_x64::vmcs::check::control_enable_pml_checks ()

void	intel_x64::vmcs::check::control_vm_exit_control_fields_all ()

void	intel_x64::vmcs::check::control_vm_exit_ctls_reserved_properly_set ()

void	intel_x64::vmcs::check::control_activate_and_save_preemption_timer_must_be_0 ()

void	intel_x64::vmcs::check::control_exit_msr_store_address ()

void	intel_x64::vmcs::check::control_exit_msr_load_address ()

void	intel_x64::vmcs::check::control_vm_entry_control_fields_all ()

void	intel_x64::vmcs::check::control_vm_entry_ctls_reserved_properly_set ()

void	intel_x64::vmcs::check::control_event_injection_type_vector_checks ()

void	intel_x64::vmcs::check::control_event_injection_delivery_ec_checks ()

void	intel_x64::vmcs::check::control_event_injection_reserved_bits_checks ()

void	intel_x64::vmcs::check::control_event_injection_ec_checks ()

void	intel_x64::vmcs::check::control_event_injection_instr_length_checks ()

void	intel_x64::vmcs::check::control_entry_msr_load_address ()

void	intel_x64::vmcs::check::host_state_all ()

void	intel_x64::vmcs::check::host_control_registers_and_msrs_all ()

void	intel_x64::vmcs::check::host_cr0_for_unsupported_bits ()

void	intel_x64::vmcs::check::host_cr4_for_unsupported_bits ()

void	intel_x64::vmcs::check::host_cr3_for_unsupported_bits ()

void	intel_x64::vmcs::check::host_ia32_sysenter_esp_canonical_address ()

void	intel_x64::vmcs::check::host_ia32_sysenter_eip_canonical_address ()

void	intel_x64::vmcs::check::host_verify_load_ia32_perf_global_ctrl ()

void	intel_x64::vmcs::check::host_verify_load_ia32_pat ()

void	intel_x64::vmcs::check::host_verify_load_ia32_efer ()

void	intel_x64::vmcs::check::host_segment_and_descriptor_table_registers_all ()

void	intel_x64::vmcs::check::host_es_selector_rpl_ti_equal_zero ()

void	intel_x64::vmcs::check::host_cs_selector_rpl_ti_equal_zero ()

void	intel_x64::vmcs::check::host_ss_selector_rpl_ti_equal_zero ()

void	intel_x64::vmcs::check::host_ds_selector_rpl_ti_equal_zero ()

void	intel_x64::vmcs::check::host_fs_selector_rpl_ti_equal_zero ()

void	intel_x64::vmcs::check::host_gs_selector_rpl_ti_equal_zero ()

void	intel_x64::vmcs::check::host_tr_selector_rpl_ti_equal_zero ()

void	intel_x64::vmcs::check::host_cs_not_equal_zero ()

void	intel_x64::vmcs::check::host_tr_not_equal_zero ()

void	intel_x64::vmcs::check::host_ss_not_equal_zero ()

void	intel_x64::vmcs::check::host_fs_canonical_base_address ()

void	intel_x64::vmcs::check::host_gs_canonical_base_address ()

void	intel_x64::vmcs::check::host_gdtr_canonical_base_address ()

void	intel_x64::vmcs::check::host_idtr_canonical_base_address ()

void	intel_x64::vmcs::check::host_tr_canonical_base_address ()

void	intel_x64::vmcs::check::host_address_space_size_all ()

void	intel_x64::vmcs::check::host_if_outside_ia32e_mode ()

void	intel_x64::vmcs::check::host_address_space_size_exit_ctl_is_set ()

void	intel_x64::vmcs::check::host_address_space_disabled ()

void	intel_x64::vmcs::check::host_address_space_enabled ()

void	intel_x64::vmcs::check::guest_state_all ()

void	intel_x64::vmcs::check::guest_control_registers_debug_registers_and_msrs_all ()

void	intel_x64::vmcs::check::guest_cr0_for_unsupported_bits ()

void	intel_x64::vmcs::check::guest_cr0_verify_paging_enabled ()

void	intel_x64::vmcs::check::guest_cr4_for_unsupported_bits ()

void	intel_x64::vmcs::check::guest_load_debug_controls_verify_reserved ()

void	intel_x64::vmcs::check::guest_verify_ia_32e_mode_enabled ()

void	intel_x64::vmcs::check::guest_verify_ia_32e_mode_disabled ()

void	intel_x64::vmcs::check::guest_cr3_for_unsupported_bits ()

void	intel_x64::vmcs::check::guest_load_debug_controls_verify_dr7 ()

void	intel_x64::vmcs::check::guest_ia32_sysenter_esp_canonical_address ()

void	intel_x64::vmcs::check::guest_ia32_sysenter_eip_canonical_address ()

void	intel_x64::vmcs::check::guest_verify_load_ia32_perf_global_ctrl ()

void	intel_x64::vmcs::check::guest_verify_load_ia32_pat ()

void	intel_x64::vmcs::check::guest_verify_load_ia32_efer ()

void	intel_x64::vmcs::check::guest_verify_load_ia32_bndcfgs ()

void	intel_x64::vmcs::check::guest_segment_registers_all ()

void	intel_x64::vmcs::check::guest_tr_ti_bit_equals_0 ()

void	intel_x64::vmcs::check::guest_ldtr_ti_bit_equals_0 ()

void	intel_x64::vmcs::check::guest_ss_and_cs_rpl_are_the_same ()

void	intel_x64::vmcs::check::guest_cs_base_is_shifted ()

void	intel_x64::vmcs::check::guest_ss_base_is_shifted ()

void	intel_x64::vmcs::check::guest_ds_base_is_shifted ()

void	intel_x64::vmcs::check::guest_es_base_is_shifted ()

void	intel_x64::vmcs::check::guest_fs_base_is_shifted ()

void	intel_x64::vmcs::check::guest_gs_base_is_shifted ()

void	intel_x64::vmcs::check::guest_tr_base_is_canonical ()

void	intel_x64::vmcs::check::guest_fs_base_is_canonical ()

void	intel_x64::vmcs::check::guest_gs_base_is_canonical ()

void	intel_x64::vmcs::check::guest_ldtr_base_is_canonical ()

void	intel_x64::vmcs::check::guest_cs_base_upper_dword_0 ()

void	intel_x64::vmcs::check::guest_ss_base_upper_dword_0 ()

void	intel_x64::vmcs::check::guest_ds_base_upper_dword_0 ()

void	intel_x64::vmcs::check::guest_es_base_upper_dword_0 ()

void	intel_x64::vmcs::check::guest_cs_limit ()

void	intel_x64::vmcs::check::guest_ss_limit ()

void	intel_x64::vmcs::check::guest_ds_limit ()

void	intel_x64::vmcs::check::guest_es_limit ()

void	intel_x64::vmcs::check::guest_gs_limit ()

void	intel_x64::vmcs::check::guest_fs_limit ()

void	intel_x64::vmcs::check::guest_v8086_cs_access_rights ()

void	intel_x64::vmcs::check::guest_v8086_ss_access_rights ()

void	intel_x64::vmcs::check::guest_v8086_ds_access_rights ()

void	intel_x64::vmcs::check::guest_v8086_es_access_rights ()

void	intel_x64::vmcs::check::guest_v8086_fs_access_rights ()

void	intel_x64::vmcs::check::guest_v8086_gs_access_rights ()

void	intel_x64::vmcs::check::guest_cs_access_rights_type ()

void	intel_x64::vmcs::check::guest_ss_access_rights_type ()

void	intel_x64::vmcs::check::guest_ds_access_rights_type ()

void	intel_x64::vmcs::check::guest_es_access_rights_type ()

void	intel_x64::vmcs::check::guest_fs_access_rights_type ()

void	intel_x64::vmcs::check::guest_gs_access_rights_type ()

void	intel_x64::vmcs::check::guest_cs_is_not_a_system_descriptor ()

void	intel_x64::vmcs::check::guest_ss_is_not_a_system_descriptor ()

void	intel_x64::vmcs::check::guest_ds_is_not_a_system_descriptor ()

void	intel_x64::vmcs::check::guest_es_is_not_a_system_descriptor ()

void	intel_x64::vmcs::check::guest_fs_is_not_a_system_descriptor ()

void	intel_x64::vmcs::check::guest_gs_is_not_a_system_descriptor ()

void	intel_x64::vmcs::check::guest_cs_type_not_equal_3 ()

void	intel_x64::vmcs::check::guest_cs_dpl_adheres_to_ss_dpl ()

void	intel_x64::vmcs::check::guest_ss_dpl_must_equal_rpl ()

void	intel_x64::vmcs::check::guest_ss_dpl_must_equal_zero ()

void	intel_x64::vmcs::check::guest_ds_dpl ()

void	intel_x64::vmcs::check::guest_es_dpl ()

void	intel_x64::vmcs::check::guest_fs_dpl ()

void	intel_x64::vmcs::check::guest_gs_dpl ()

void	intel_x64::vmcs::check::guest_cs_must_be_present ()

void	intel_x64::vmcs::check::guest_ss_must_be_present_if_usable ()

void	intel_x64::vmcs::check::guest_ds_must_be_present_if_usable ()

void	intel_x64::vmcs::check::guest_es_must_be_present_if_usable ()

void	intel_x64::vmcs::check::guest_fs_must_be_present_if_usable ()

void	intel_x64::vmcs::check::guest_gs_must_be_present_if_usable ()

void	intel_x64::vmcs::check::guest_cs_access_rights_reserved_must_be_0 ()

void	intel_x64::vmcs::check::guest_ss_access_rights_reserved_must_be_0 ()

void	intel_x64::vmcs::check::guest_ds_access_rights_reserved_must_be_0 ()

void	intel_x64::vmcs::check::guest_es_access_rights_reserved_must_be_0 ()

void	intel_x64::vmcs::check::guest_fs_access_rights_reserved_must_be_0 ()

void	intel_x64::vmcs::check::guest_gs_access_rights_reserved_must_be_0 ()

void	intel_x64::vmcs::check::guest_cs_db_must_be_0_if_l_equals_1 ()

void	intel_x64::vmcs::check::guest_cs_granularity ()

void	intel_x64::vmcs::check::guest_ss_granularity ()

void	intel_x64::vmcs::check::guest_ds_granularity ()

void	intel_x64::vmcs::check::guest_es_granularity ()

void	intel_x64::vmcs::check::guest_fs_granularity ()

void	intel_x64::vmcs::check::guest_gs_granularity ()

void	intel_x64::vmcs::check::guest_cs_access_rights_remaining_reserved_bit_0 ()

void	intel_x64::vmcs::check::guest_ss_access_rights_remaining_reserved_bit_0 ()

void	intel_x64::vmcs::check::guest_ds_access_rights_remaining_reserved_bit_0 ()

void	intel_x64::vmcs::check::guest_es_access_rights_remaining_reserved_bit_0 ()

void	intel_x64::vmcs::check::guest_fs_access_rights_remaining_reserved_bit_0 ()

void	intel_x64::vmcs::check::guest_gs_access_rights_remaining_reserved_bit_0 ()

void	intel_x64::vmcs::check::guest_tr_type_must_be_11 ()

void	intel_x64::vmcs::check::guest_tr_must_be_a_system_descriptor ()

void	intel_x64::vmcs::check::guest_tr_must_be_present ()

void	intel_x64::vmcs::check::guest_tr_access_rights_reserved_must_be_0 ()

void	intel_x64::vmcs::check::guest_tr_granularity ()

void	intel_x64::vmcs::check::guest_tr_must_be_usable ()

void	intel_x64::vmcs::check::guest_tr_access_rights_remaining_reserved_bit_0 ()

void	intel_x64::vmcs::check::guest_ldtr_type_must_be_2 ()

void	intel_x64::vmcs::check::guest_ldtr_must_be_a_system_descriptor ()

void	intel_x64::vmcs::check::guest_ldtr_must_be_present ()

void	intel_x64::vmcs::check::guest_ldtr_access_rights_reserved_must_be_0 ()

void	intel_x64::vmcs::check::guest_ldtr_granularity ()

void	intel_x64::vmcs::check::guest_ldtr_access_rights_remaining_reserved_bit_0 ()

void	intel_x64::vmcs::check::guest_descriptor_table_registers_all ()

void	intel_x64::vmcs::check::guest_gdtr_base_must_be_canonical ()

void	intel_x64::vmcs::check::guest_idtr_base_must_be_canonical ()

void	intel_x64::vmcs::check::guest_gdtr_limit_reserved_bits ()

void	intel_x64::vmcs::check::guest_idtr_limit_reserved_bits ()

void	intel_x64::vmcs::check::guest_rip_and_rflags_all ()

void	intel_x64::vmcs::check::guest_rip_upper_bits ()

void	intel_x64::vmcs::check::guest_rip_valid_addr ()

void	intel_x64::vmcs::check::guest_rflags_reserved_bits ()

void	intel_x64::vmcs::check::guest_rflags_vm_bit ()

void	intel_x64::vmcs::check::guest_rflag_interrupt_enable ()

void	intel_x64::vmcs::check::guest_non_register_state_all ()

void	intel_x64::vmcs::check::guest_valid_activity_state ()

void	intel_x64::vmcs::check::guest_activity_state_not_hlt_when_dpl_not_0 ()

void	intel_x64::vmcs::check::guest_must_be_active_if_injecting_blocking_state ()

void	intel_x64::vmcs::check::guest_hlt_valid_interrupts ()

void	intel_x64::vmcs::check::guest_shutdown_valid_interrupts ()

void	intel_x64::vmcs::check::guest_sipi_valid_interrupts ()

void	intel_x64::vmcs::check::guest_valid_activity_state_and_smm ()

void	intel_x64::vmcs::check::guest_interruptibility_state_reserved ()

void	intel_x64::vmcs::check::guest_interruptibility_state_sti_mov_ss ()

void	intel_x64::vmcs::check::guest_interruptibility_state_sti ()

void	intel_x64::vmcs::check::guest_interruptibility_state_external_interrupt ()

void	intel_x64::vmcs::check::guest_interruptibility_state_nmi ()

void	intel_x64::vmcs::check::guest_interruptibility_not_in_smm ()

void	intel_x64::vmcs::check::guest_interruptibility_entry_to_smm ()

void	intel_x64::vmcs::check::guest_interruptibility_state_sti_and_nmi ()

void	intel_x64::vmcs::check::guest_interruptibility_state_virtual_nmi ()

void	intel_x64::vmcs::check::guest_interruptibility_state_enclave_interrupt ()

void	intel_x64::vmcs::check::guest_pending_debug_exceptions_reserved ()

void	intel_x64::vmcs::check::guest_pending_debug_exceptions_dbg_ctl ()

void	intel_x64::vmcs::check::guest_pending_debug_exceptions_rtm ()

void	intel_x64::vmcs::check::guest_vmcs_link_pointer_bits_11_0 ()

void	intel_x64::vmcs::check::guest_vmcs_link_pointer_valid_addr ()

void	intel_x64::vmcs::check::guest_vmcs_link_pointer_first_word ()

void	intel_x64::vmcs::check::guest_vmcs_link_pointer_not_in_smm ()

void	intel_x64::vmcs::check::guest_vmcs_link_pointer_in_smm ()

void	intel_x64::vmcs::check::guest_pdptes_all ()

void	intel_x64::vmcs::check::guest_valid_pdpte_with_ept_disabled ()

void	intel_x64::vmcs::check::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	intel_x64::vmcs::check::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	intel_x64::vmcs::check::memory_type_reserved (T memory_type)

Namespaces

Functions