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