Symbol: dump_header_flush
sys/arch/amd64/amd64/machdep.c
1054
dump_header_flush(void)
sys/arch/i386/i386/dumpsys.c
514
dump_header_flush(void)