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