ref: eda60ec3dd5e77192d94a8efea45562ad3b633c0 dir: /sys/src/libmp/port/os.h/
#include <u.h> #include <libc.h>