smp_cpu_rendezvous
void smp_cpu_rendezvous(uint32* var);
smp_cpu_rendezvous(&sGDTIDTConstructed);
smp_cpu_rendezvous(&sCpuRendezvous);
smp_cpu_rendezvous(&sCpuRendezvous2);
smp_cpu_rendezvous(&sCpuRendezvous3);
smp_cpu_rendezvous(&sCpuRendezvous);
smp_cpu_rendezvous(&sCpuRendezvous2);
smp_cpu_rendezvous(&sCpuRendezvous3);
smp_cpu_rendezvous(&sCpuRendezvous);
smp_cpu_rendezvous(&sCpuRendezvous2);
smp_cpu_rendezvous(&sCpuRendezvous3);
smp_cpu_rendezvous(&sCpuRendezvous);
smp_cpu_rendezvous(&sCpuRendezvous2);
smp_cpu_rendezvous(&sCpuRendezvous); // wait until they're booted
smp_cpu_rendezvous(&sCpuRendezvous2);
smp_cpu_rendezvous(&sCpuRendezvous);
smp_cpu_rendezvous(&sCpuRendezvous2);
smp_cpu_rendezvous(rendezVous);
smp_cpu_rendezvous(rendezVous);