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