ref: 4dfcb4791be0f4e4f9ab24b654af1f8bfb9b3758 dir: /sys/src/libthread/xincarm.c/
#include "xincport.h"