Searched refs:dtop_keyboard_repeat (Results 1 – 1 of 1) sorted by relevance
97 void dtop_keyboard_repeat __P((void *));698 untimeout(dtop_keyboard_repeat, (void *)dev);792 timeout(dtop_keyboard_repeat, (void *)dev, hz / 2);800 dtop_keyboard_repeat(arg) in dtop_keyboard_repeat() function826 timeout(dtop_keyboard_repeat, arg, hz / 20);