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