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