atkbd_timeout
atkbd_timeout(*kbd);
atkbd_timeout, arg, C_PREL(1));
static void atkbd_timeout(void *arg);