diff options
| -rw-r--r-- | lib/sbi/sbi_init.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/sbi/sbi_init.c b/lib/sbi/sbi_init.c index d57efa7..a8500e5 100644 --- a/lib/sbi/sbi_init.c +++ b/lib/sbi/sbi_init.c @@ -63,6 +63,7 @@ static void sbi_boot_print_banner(struct sbi_scratch *scratch) static void sbi_boot_print_general(struct sbi_scratch *scratch) { char str[128]; + const struct sbi_pmu_device *pdev; const struct sbi_hsm_device *hdev; const struct sbi_ipi_device *idev; const struct sbi_timer_device *tdev; @@ -93,6 +94,9 @@ static void sbi_boot_print_general(struct sbi_scratch *scratch) hdev = sbi_hsm_get_device(); sbi_printf("Platform HSM Device : %s\n", (hdev) ? hdev->name : "---"); + pdev = sbi_pmu_get_device(); + sbi_printf("Platform PMU Device : %s\n", + (pdev) ? pdev->name : "---"); srdev = sbi_system_reset_get_device(SBI_SRST_RESET_TYPE_COLD_REBOOT, 0); sbi_printf("Platform Reboot Device : %s\n", (srdev) ? srdev->name : "---"); |