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