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