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