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