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