ref: 20e1f32aed3b35c3289b35f643eee009d14dca74 dir: /sys/src/libthread/xincarm.c/
#include "xincport.h"