From ee69f8eeb3c16bfdb4bb3d8b5033fb8a7816f7b6 Mon Sep 17 00:00:00 2001 From: Anup Patel Date: Wed, 24 Aug 2022 15:29:27 +0530 Subject: [PATCH] lib: sbi: Print platform PMU device at boot-time Let us print the platform PMU device name at the boot-time so that users know whether the underlying platform has custom per-HART PMU operations. Signed-off-by: Anup Patel Reviewed-by: Andrew Jones Reviewed-by: Atish Patra --- lib/sbi/sbi_init.c | 4 ++++ 1 file changed, 4 insertions(+) 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 : "---"); -- 2.7.4