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