Searched refs:saved_exit (Results 1 – 1 of 1) sorted by relevance
4936 u32 saved_exit = vmcs_read(EXI_CONTROLS); in test_vmx_preemption_timer() local4938 u32 exit = saved_exit; in test_vmx_preemption_timer()4973 vmcs_write(EXI_CONTROLS, saved_exit); in test_vmx_preemption_timer()