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