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