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