Symbol: os_read_monotonic_time
sys/arch/acorn32/stand/boot32/boot32.c
655
time0 = os_read_monotonic_time();
sys/arch/acorn32/stand/boot32/boot32.c
656
while (os_read_monotonic_time() - time0 < 100)
sys/arch/acorn32/stand/lib/riscoscalls.h
369
extern unsigned int os_read_monotonic_time(void);