lapicstartap       81 defs.h         void            lapicstartap(uchar, uint);
lapicstartap       89 main.c             lapicstartap(c->apicid, V2P(code));