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