Symbol: boot_BSD
sys/arch/atari/stand/bootxx/bootxx.c
44
void boot_BSD(struct kparamb *) __attribute__((noreturn));
sys/arch/atari/stand/bootxxx/bootxxx.c
47
void boot_BSD(struct kparamb *)__attribute__((noreturn));
sys/arch/atari/stand/bootxxx/bootxxx.c
80
boot_BSD(&od->kp);