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