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