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