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