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