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