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