APIC_DEBUG_MSGBUFSIZE
int apic_debug_msgbuf[APIC_DEBUG_MSGBUFSIZE];
if (apic_debug_msgbufindex >= (APIC_DEBUG_MSGBUFSIZE - NCPU)) \
extern int apic_debug_msgbuf[APIC_DEBUG_MSGBUFSIZE];