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