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