void p_dti_arcstation_reset(void) { arc_sysreset(RPC44_V_ISA_IO + IO_KBD, KBCMDP); }
void jazzio_reset(void) { arc_sysreset(PICA_SYS_KBD, JAZZIO_KBCMDP); }