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