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