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