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