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