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