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