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