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