@@ -79,14 +79,17 @@ static void sbi_boot_prints(struct sbi_scratch *scratch, u32 hartid)
sbi_domain_dump_all("");
/* Boot HART details */
- sbi_printf("Boot HART ID : %u\n", hartid);
- sbi_printf("Boot HART Domain : %s\n", dom->name);
+ sbi_printf("Boot HART ID : %u\n", hartid);
+ sbi_printf("Boot HART Domain : %s\n", dom->name);
misa_string(xlen, str, sizeof(str));
- sbi_printf("Boot HART ISA : %s\n", str);
+ sbi_printf("Boot HART ISA : %s\n", str);
sbi_hart_get_features_str(scratch, str, sizeof(str));
- sbi_printf("Boot HART Features : %s\n", str);
- sbi_printf("Boot HART PMP Count : %d\n", sbi_hart_pmp_count(scratch));
- sbi_printf("Boot HART MHPM Count: %d\n", sbi_hart_mhpm_count(scratch));
+ sbi_printf("Boot HART Features : %s\n", str);
+ sbi_printf("Boot HART PMP Count : %d\n", sbi_hart_pmp_count(scratch));
+ sbi_printf("Boot HART PMP Granularity : %lu\n", sbi_hart_pmp_granularity(scratch));
+ sbi_printf("Boot HART PMP Address bits: %d\n", sbi_hart_pmp_addrbits(scratch));
+ sbi_printf("Boot HART MHPM Count : %d\n", sbi_hart_mhpm_count(scratch));
+ sbi_printf("Boot HART MHPM Count : %d\n", sbi_hart_mhpm_count(scratch));
sbi_hart_delegation_dump(scratch, "Boot HART ", " ");
}