ref: c3917ec566559e0a3565b1d412147c951a6c4fc0 dir: /sys/src/libthread/xincarm.c/
#include "xincport.h"