*/
 static const char base_riscv_exts[13] = "imafdqcbkjpvh";
 
-static void print_isa(struct seq_file *f, const char *isa)
+static void print_isa(struct seq_file *f)
 {
        int i;
 
        seq_puts(f, "isa\t\t: ");
-       /* Print the rv[64/32] part */
-       seq_write(f, isa, 4);
+       if (IS_ENABLED(CONFIG_32BIT))
+               seq_write(f, "rv32", 4);
+       else
+               seq_write(f, "rv64", 4);
+
        for (i = 0; i < sizeof(base_riscv_exts); i++) {
                if (__riscv_isa_extension_available(NULL, base_riscv_exts[i] - 'a'))
                        /* Print only enabled the base ISA extensions */
        unsigned long cpu_id = (unsigned long)v - 1;
        struct riscv_cpuinfo *ci = per_cpu_ptr(&riscv_cpuinfo, cpu_id);
        struct device_node *node;
-       const char *compat, *isa;
+       const char *compat;
 
        seq_printf(m, "processor\t: %lu\n", cpu_id);
        seq_printf(m, "hart\t\t: %lu\n", cpuid_to_hartid_map(cpu_id));
+       print_isa(m);
+       print_mmu(m);
 
        if (acpi_disabled) {
                node = of_get_cpu_node(cpu_id, NULL);
-               if (!of_property_read_string(node, "riscv,isa", &isa))
-                       print_isa(m, isa);
 
-               print_mmu(m);
                if (!of_property_read_string(node, "compatible", &compat) &&
                    strcmp(compat, "riscv"))
                        seq_printf(m, "uarch\t\t: %s\n", compat);
 
                of_node_put(node);
-       } else {
-               if (!acpi_get_riscv_isa(NULL, cpu_id, &isa))
-                       print_isa(m, isa);
-
-               print_mmu(m);
        }
 
        seq_printf(m, "mvendorid\t: 0x%lx\n", ci->mvendorid);