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