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