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