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