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