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