Here is a piece of code in /usr/src/linux-3.10.10-1-ARCH/include/linux/printk.h:
/usr/src/linux-3.10.10-1-ARCH/include/linux/printk.h
static inline int printk_get_level(const char *buffer) { if (
It is gcc compiler extension allowing to combine several case statement in one line.