die_if_kernel     809 arch/x86/kernel/traps.c 	die_if_kernel("cache flush denied", regs, error_code);
die_if_kernel     200 include/asm-frv/system.h extern void die_if_kernel(const char *, ...) __attribute__((format(printf, 1, 2)));