/* Wake up the mouse driver from an interrupt service routine (there may be new readings available) */ void _gmouseWakeup(GMouse *m) { if (m) m->flags |= GMOUSE_FLG_NEEDREAD; gtimerJab(&MouseTimer); }
/* Wake up the mouse driver from an interrupt service routine (there may be new readings available) */ void ginputMouseWakeup(void) { gtimerJab(&MouseTimer); }
/* Wake up the keyboard driver from an interrupt service routine (there may be new readings available) */ void _gkeyboardWakeup(GKeyboard *k) { if (k) k->flags |= GKEYBOARD_FLG_NEEDREAD; gtimerJab(&KeyboardTimer); }