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