mpmain             10 main.c         static void mpmain(void)  __attribute__((noreturn));
mpmain             37 main.c           mpmain();        // finish this processor's setup
mpmain             47 main.c           mpmain();