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