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