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