ref: 411fc48b8ca8ebd2ea32d3a26b1be309c6b8ade3 dir: /sys/src/libthread/xincarm.c/
#include "xincport.h"