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