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