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