Searched refs:primary_save (Results 1 – 1 of 1) sorted by relevance
4163 u32 primary_save = vmcs_read(CPU_EXEC_CTRL0); in test_invalid_event_injection() local4290 vmcs_write(CPU_EXEC_CTRL0, primary_save); in test_invalid_event_injection()4454 vmcs_write(CPU_EXEC_CTRL0, primary_save); in test_invalid_event_injection()