path: root/libmp/port/os.h

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