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