dbg_init           66 drivers/input/serio/i8042.h #define dbg_init() do { i8042_start_time = jiffies; } while (0)
dbg_init           85 drivers/input/serio/i8042.h #define dbg_init() do { } while (0)