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