Searched refs:ent_intr_error_save (Results 1 – 1 of 1) sorted by relevance
4161 u32 ent_intr_error_save = vmcs_read(ENT_INTR_ERROR); in test_invalid_event_injection() local4452 vmcs_write(ENT_INTR_ERROR, ent_intr_error_save); in test_invalid_event_injection()