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