Input: drivers/char/keyboard.c - use time_after