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