Searched defs:saved_primary (Results 1 – 1 of 1) sorted by relevance
3819 u32 saved_primary = vmcs_read(CPU_EXEC_CTRL0); in test_apic_virtual_ctls() local3912 u32 saved_primary = vmcs_read(CPU_EXEC_CTRL0); in test_virtual_intr_ctls() local3976 u32 saved_primary = vmcs_read(CPU_EXEC_CTRL0); in test_posted_intr() local4098 u32 saved_primary = vmcs_read(CPU_EXEC_CTRL0); in test_vpid() local