Searched refs:write_core_header (Results 1 – 1 of 1) sorted by relevance
197 static void write_core_header(void);490 write_core_header(void) in write_core_header() function535 setup(write_core_header); in printxhdr()