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