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