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