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