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