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