Symbol: dbg_init
drivers/input/serio/i8042.h
62
#define dbg_init() do { i8042_start_time = jiffies; } while (0)
drivers/input/serio/i8042.h
81
#define dbg_init() do { } while (0)