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