Searched refs:cpu_ctrl1_saved (Results 1 – 1 of 1) sorted by relevance
7930 u32 cpu_ctrl1_saved; in test_guest_segment_sel_fields() local7962 cpu_ctrl1_saved = vmcs_read(CPU_EXEC_CTRL1); in test_guest_segment_sel_fields()7965 vmcs_write(CPU_EXEC_CTRL1, cpu_ctrl1_saved & ~CPU_URG); in test_guest_segment_sel_fields()7997 vmcs_write(CPU_EXEC_CTRL1, cpu_ctrl1_saved); in test_guest_segment_sel_fields()