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