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