Searched defs:secondary (Results 1 – 1 of 1) sorted by relevance
3540 u32 secondary; in test_secondary_processor_based_ctls() local3671 u32 secondary = vmcs_read(CPU_EXEC_CTRL1); in test_vmcs_addr_reference() local3784 static bool set_bit_pattern(u8 mask, u32 *secondary) in set_bit_pattern()3822 u32 secondary = saved_secondary; in test_apic_virtual_ctls() local3916 u32 secondary = saved_secondary; in test_virtual_intr_ctls() local3981 u32 secondary = saved_secondary; in test_posted_intr() local4141 u32 secondary = vmcs_read(CPU_EXEC_CTRL1); in try_tpr_threshold_and_vtpr() local4475 u32 secondary = vmcs_read(CPU_EXEC_CTRL1); in try_tpr_threshold() local4552 u32 secondary = vmcs_read(CPU_EXEC_CTRL1); in test_tpr_threshold() local4726 u32 secondary; in test_ept_eptp() local[all …]