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