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