/*
* Where secondaries begin a life of C.
*/
void
void __init
smp_callin(void)
{
int cpuid = hard_smp_processor_id();