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