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