Searched defs:saved_secondary (Results 1 – 1 of 1) sorted by relevance
3820 u32 saved_secondary = vmcs_read(CPU_EXEC_CTRL1); in test_apic_virtual_ctls() local3913 u32 saved_secondary = vmcs_read(CPU_EXEC_CTRL1); in test_virtual_intr_ctls() local3977 u32 saved_secondary = vmcs_read(CPU_EXEC_CTRL1); in test_posted_intr() local4099 u32 saved_secondary = vmcs_read(CPU_EXEC_CTRL1); in test_vpid() local