Symbol: dump_header_start
sys/arch/amd64/amd64/machdep.c
1320
dump_header_start();
sys/arch/amd64/amd64/machdep.c
319
void dump_header_start(void);
sys/arch/i386/i386/dumpsys.c
135
static void dump_header_start(void);
sys/arch/i386/i386/dumpsys.c
201
dump_header_start();