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