lib: sbi: Print the CPPC device name

If CPPC device is registered by the platform, print its name.

Signed-off-by: Sunil V L <sunilvl@ventanamicro.com>
Reviewed-by: Andrew Jones <ajones@ventanamicro.com>
Reviewed-by: Anup Patel <anup@brainfault.org>

diff --git a/lib/sbi/sbi_init.c b/lib/sbi/sbi_init.c
index f184248..a031336 100644 (file)
--- a/lib/sbi/sbi_init.c
+++ b/lib/sbi/sbi_init.c
@@ -12,6 +12,7 @@
 #include <sbi/riscv_barrier.h>
 #include <sbi/riscv_locks.h>
 #include <sbi/sbi_console.h>
+#include <sbi/sbi_cppc.h>
 #include <sbi/sbi_domain.h>
 #include <sbi/sbi_ecall.h>
 #include <sbi/sbi_hart.h>
@@ -70,6 +71,7 @@ static void sbi_boot_print_general(struct sbi_scratch *scratch)
        const struct sbi_console_device *cdev;
        const struct sbi_system_reset_device *srdev;
        const struct sbi_system_suspend_device *susp_dev;
+       const struct sbi_cppc_device *cppc_dev;
        const struct sbi_platform *plat = sbi_platform_ptr(scratch);
 
        if (scratch->options & SBI_SCRATCH_NO_BOOT_PRINTS)
@@ -107,6 +109,9 @@ static void sbi_boot_print_general(struct sbi_scratch *scratch)
        susp_dev = sbi_system_suspend_get_device();
        sbi_printf("Platform Suspend Device   : %s\n",
                   (susp_dev) ? susp_dev->name : "---");
+       cppc_dev = sbi_cppc_get_device();
+       sbi_printf("Platform CPPC Device      : %s\n",
+                  (cppc_dev) ? cppc_dev->name : "---");
 
        /* Firmware details */
        sbi_printf("Firmware Base             : 0x%lx\n", scratch->fw_start);