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