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