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