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