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