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