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