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