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