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