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