Symbol: bootmain
sys/arch/x68k/stand/boot/boot.c
70
void bootmain(int);
sys/arch/x68k/stand/mboot/mboot.c
37
int bootmain(int);
sys/arch/x68k/stand/xxboot/bootmain.c
52
void bootmain(void) __attribute__ ((__noreturn__));