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