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