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