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