i8042_start_time   65 drivers/input/serio/i8042.h static unsigned long i8042_start_time;
i8042_start_time   66 drivers/input/serio/i8042.h #define dbg_init() do { i8042_start_time = jiffies; } while (0)
i8042_start_time   71 drivers/input/serio/i8042.h 			       (int) (jiffies - i8042_start_time), ##arg);	\