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