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