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