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