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