diff options
Diffstat (limited to 'lib/sbi/sbi_init.c')
| -rw-r--r-- | lib/sbi/sbi_init.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/lib/sbi/sbi_init.c b/lib/sbi/sbi_init.c index 388f3ecb..acd2f8b6 100644 --- a/lib/sbi/sbi_init.c +++ b/lib/sbi/sbi_init.c @@ -76,7 +76,6 @@ static void sbi_boot_print_general(struct sbi_scratch *scratch) const struct sbi_hsm_device *hdev; const struct sbi_ipi_device *idev; const struct sbi_timer_device *tdev; - const struct sbi_hart_protection *hprot; const struct sbi_console_device *cdev; const struct sbi_system_reset_device *srdev; const struct sbi_system_suspend_device *susp_dev; @@ -93,9 +92,8 @@ static void sbi_boot_print_general(struct sbi_scratch *scratch) sbi_printf("Platform Features : %s\n", str); sbi_printf("Platform HART Count : %u\n", sbi_platform_hart_count(plat)); - hprot = sbi_hart_memory_protection_best(); - sbi_printf("Platform HART Protection : %s\n", - (hprot) ? hprot->name : "---"); + sbi_hart_protection_get_str(str, sizeof(str)); + sbi_printf("Platform HART Protection : %s\n", str); idev = sbi_ipi_get_device(); sbi_printf("Platform IPI Device : %s\n", (idev) ? idev->name : "---"); |