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