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