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