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