3539 	u32 primary;  in test_secondary_processor_based_ctls()  local
3670 	u32 primary = vmcs_read(CPU_EXEC_CTRL0);  in test_vmcs_addr_reference()  local
3821 	u32 primary = saved_primary;  in test_apic_virtual_ctls()  local
3915 	u32 primary = saved_primary;  in test_virtual_intr_ctls()  local
3980 	u32 primary = saved_primary;  in test_posted_intr()  local
4140 	u32 primary = vmcs_read(CPU_EXEC_CTRL0);  in try_tpr_threshold_and_vtpr()  local
4474 	u32 primary = vmcs_read(CPU_EXEC_CTRL0);  in try_tpr_threshold()  local
4528 	u32 primary = vmcs_read(CPU_EXEC_CTRL0);  in test_tpr_threshold()  local
4885 	u32 primary = primary_saved;  in test_pml()  local
10056 	struct vmcs *primary;  in vmread_from_shadow()  local
10070 	struct vmcs *primary;  in vmwrite_to_shadow()  local