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