sv_binutils: fix selector names

diff --git a/src/openpower/sv/sv_binutils.py b/src/openpower/sv/sv_binutils.py
index 37d170e66d5f728358654dc0da6e9f803fce8663..cd3693d2b2d35fbd5b509405905146ac4da79c9b 100644 (file)
--- a/src/openpower/sv/sv_binutils.py
+++ b/src/openpower/sv/sv_binutils.py
@@ -545,8 +545,7 @@ class Codegen(_enum.Enum):
                 yield from indent(["static const ppc_opindex_t table[] = {"])
                 for key in enum:
                     value = table.get(key, "UNUSED")
-                    c_value = f"{c_tag.upper()}_{key.name.upper()}"
-                    yield from indent(indent([f"{value:{sep}}, /* {c_value} */"]))
+                    yield from indent(indent([f"{value:{sep}}, /* {key.c_name} */"]))
                 yield from indent(["};"])
                 yield ""
                 yield from indent([f"return table[record->{name}];"])