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