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