Searched refs:cpu_ctrl0_saved (Results 1 – 1 of 1) sorted by relevance
7929 u32 cpu_ctrl0_saved; in test_guest_segment_sel_fields() local7961 cpu_ctrl0_saved = vmcs_read(CPU_EXEC_CTRL0); in test_guest_segment_sel_fields()7996 vmcs_write(CPU_EXEC_CTRL0, cpu_ctrl0_saved); in test_guest_segment_sel_fields()