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