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