#include #include void ap_startup(void) { lock(cnt_lock); cnt++; unlock(cnt_lock); for(;;) { __asm__ volatile ("hlt;"); } }