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