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