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