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