Searched defs:cpu_exec_ctrl0 (Results 1 – 1 of 1) sorted by relevance
6054 u32 cpu_exec_ctrl0 = vmcs_read(CPU_EXEC_CTRL0); in configure_apic_reg_virt_test() local6142 u64 cpu_exec_ctrl0 = vmcs_read(CPU_EXEC_CTRL0); in apic_reg_virt_test() local6868 u32 cpu_exec_ctrl0 = vmcs_read(CPU_EXEC_CTRL0); in configure_virt_x2apic_mode_test() local6916 u64 cpu_exec_ctrl0 = vmcs_read(CPU_EXEC_CTRL0); in virt_x2apic_mode_test() local