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