/* tilegx32/tilepro */ #include "../signalent.h"