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