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