Searched refs:pinnedType (Results 1 – 2 of 2) sorted by relevance
631 int32_t pinnedType = type; in dumpOp() local632 if ((uint32_t)pinnedType >= sizeof(opNames)/sizeof(char *)) { in dumpOp()633 pinnedType = 0; in dumpOp()636 REGEX_DUMP_DEBUG_PRINTF(("%4d %08x %-15s ", index, op, opNames[pinnedType])); in dumpOp()
632 int32_t pinnedType = type; in dumpOp() local633 if ((uint32_t)pinnedType >= sizeof(opNames)/sizeof(char *)) { in dumpOp()634 pinnedType = 0; in dumpOp()637 printf("%4d %08x %-15s ", index, op, opNames[pinnedType]); in dumpOp()