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