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