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