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