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