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