diff --git a/[refs] b/[refs] index 1af94d9bd4fb..1a68dc43c6e5 100644 --- a/[refs] +++ b/[refs] @@ -1,2 +1,2 @@ --- -refs/heads/master: 81e329cdddd63d66e2b3c3dc51d429ba074cdbb8 +refs/heads/master: b39b04403bba4f807ee6e57ae2f4407187588fcd diff --git a/trunk/drivers/char/keyboard.c b/trunk/drivers/char/keyboard.c index 59608e341385..45806d27579a 100644 --- a/trunk/drivers/char/keyboard.c +++ b/trunk/drivers/char/keyboard.c @@ -42,6 +42,7 @@ #include #include #include +#include extern void ctrl_alt_del(void); @@ -928,7 +929,8 @@ static void k_brl(struct vc_data *vc, unsigned char value, char up_flag) if (up_flag) { if (brl_timeout) { if (!committing || - jiffies - releasestart > (brl_timeout * HZ) / 1000) { + time_after(jiffies, + releasestart + msecs_to_jiffies(brl_timeout))) { committing = pressed; releasestart = jiffies; }