Searched refs:pinnedType (Results 1 – 1 of 1) sorted by relevance
692 int32_t pinnedType = type; in dumpOp() local693 if ((uint32_t)pinnedType >= sizeof(opNames)/sizeof(char *)) { in dumpOp()694 pinnedType = 0; in dumpOp()697 printf("%4d %08x %-15s ", index, op, opNames[pinnedType]); in dumpOp()