SYSRINT
(void) drv_setparm(SYSRINT, 1);
(void) drv_setparm(SYSRINT, 1); /* reset keyboard interrupts */
case SYSRINT:
