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