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