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