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