Searched defs:cpu_exec_ctrl1 (Results 1 – 1 of 1) sorted by relevance
6055 u32 cpu_exec_ctrl1 = vmcs_read(CPU_EXEC_CTRL1); in configure_apic_reg_virt_test() local6143 u64 cpu_exec_ctrl1 = vmcs_read(CPU_EXEC_CTRL1); in apic_reg_virt_test() local6869 u64 cpu_exec_ctrl1 = vmcs_read(CPU_EXEC_CTRL1); in configure_virt_x2apic_mode_test() local6917 u64 cpu_exec_ctrl1 = vmcs_read(CPU_EXEC_CTRL1); in virt_x2apic_mode_test() local