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