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