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