ref: 2353a35dc8bd948145f5cd3ac6e65ebb1995c323 dir: /sys/src/libthread/xincarm.c/
#include "xincport.h"