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