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