unsigned long send_status = 0, accept_status = 0;
int maxlvt, timeout, i;
+ /*
+ * Some versions of tboot might be able to handle the entire wake sequence
+ * on our behalf.
+ */
+ if ( tboot_in_measured_env() && !tboot_wake_ap(phys_apicid, start_eip) )
+ return 0;
+
/*
* Be paranoid about clearing APIC errors.
*/
set_cpu_state(CPU_STATE_INIT);
/* Starting actual IPI sequence... */
- if ( !tboot_in_measured_env() || tboot_wake_ap(apicid, start_eip) )
- boot_error = wakeup_secondary_cpu(apicid, start_eip);
+ boot_error = wakeup_secondary_cpu(apicid, start_eip);
if ( !boot_error )
{