debug_header_proc_t   54 arch/s390/include/asm/debug.h typedef int (debug_header_proc_t) (debug_info_t *id,
debug_header_proc_t   78 arch/s390/include/asm/debug.h 	debug_header_proc_t *header_proc;