sim_os_msec 162 src/simh/sim_timer.c uint32 sim_os_msec (void) sim_os_msec 215 src/simh/sim_timer.c uint32 sim_os_msec (void)