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