xref: /inferno-os/libmp/port/os.h (revision 37da2899f40661e3e9631e497da8dc59b971cbd0)

#include <lib9.h>
extern ulong truerand(void);
extern vlong nsec(void);