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