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