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