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