sys/arch/amiga/include/cpu.h

102

void doboot(void) __attribute__((__noreturn__));

sys/arch/atari/include/cpu.h

107

void doboot(void);

sys/arch/cesfic/include/cpu.h

55

void doboot(void)

sys/arch/hp300/hp300/machdep.c

486

doboot();

sys/arch/hp300/include/cpu.h

68

void doboot(void) __attribute__((__noreturn__));

sys/arch/mac68k/mac68k/machdep.c

432

void doboot(void) __attribute__((__noreturn__));

sys/arch/mac68k/mac68k/machdep.c

465

doboot();

sys/arch/news68k/include/cpu.h

87

void doboot(int)

sys/arch/x68k/stand/boot/boot.c

257

doboot(filename, flags);

sys/arch/x68k/stand/boot/boot.c

277

doboot(filename, flags);

sys/arch/x68k/stand/boot/boot.c

322

doboot(default_kernel, 0);

sys/arch/x68k/stand/boot/boot.c

326

doboot(default_kernel, 0);

sys/arch/x68k/stand/boot/boot.c

66

static void doboot(const char *, int);

sys/arch/x68k/x68k/machdep.c

111

extern void doboot(void) __attribute__((__noreturn__));