Symbol: KERN_DEBUG_ERROR
sys/arch/shark/include/kerndebug.h
74
KERN_DEBUG_ERROR | KERN_DEBUG_PANIC
sys/arch/shark/shark/i8042.c
79
int i8042debug = KERN_DEBUG_WARNING | KERN_DEBUG_ERROR;