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