sysdc_update
(void) timeout(sysdc_update, arg, sysdc_update_ticks);
(void) timeout(sysdc_update, NULL, sysdc_update_ticks);