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