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