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