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