re_name           210 dev/ic/re.c    	const char		*re_name;
re_name           824 dev/ic/re.c    	const char	*re_name = NULL;
re_name           879 dev/ic/re.c    	for (rr = re_revisions; rr->re_name != NULL; rr++) {
re_name           881 dev/ic/re.c    			re_name = rr->re_name;
re_name           884 dev/ic/re.c    	if (re_name == NULL)
re_name           887 dev/ic/re.c    		printf(": %s (0x%04x)", re_name, hwrev >> 16);