Symbol: cpu_init_kcorehdr
sys/arch/atari/atari/atari_init.c
605
cpu_init_kcorehdr(kbase, Sysseg_pa);
sys/arch/atari/atari/atari_init.c
86
static void cpu_init_kcorehdr(paddr_t, paddr_t);