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