apicno            129 mp.c                 ioapicid = ioapic->apicno;
apicno             42 mp.h             uchar apicno;                 // I/O APIC id