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