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