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