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)