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