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