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