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