lib: sbi: Print platform hart count at boot time

Now that we have generic platform which detects hart count from
DTB, we should print platform hart count at boot time.

Signed-off-by: Anup Patel <anup.patel@wdc.com>
Reviewed-by: Atish Patra <atish.patra@wdc.com>

diff --git a/lib/sbi/sbi_init.c b/lib/sbi/sbi_init.c
index b01bff1..629eb83 100644 (file)
--- a/lib/sbi/sbi_init.c
+++ b/lib/sbi/sbi_init.c
@@ -59,7 +59,9 @@ static void sbi_boot_prints(struct sbi_scratch *scratch, u32 hartid)
        /* Platform details */
        sbi_printf("Platform Name          : %s\n", sbi_platform_name(plat));
        sbi_printf("Platform HART Features : RV%d%s\n", xlen, str);
-       sbi_printf("Current Hart           : %u\n", hartid);
+       sbi_printf("Platform HART Count    : %u\n",
+                  sbi_platform_hart_count(plat));
+       sbi_printf("Current HART ID        : %u\n", hartid);
        /* Firmware details */
        sbi_printf("Firmware Base          : 0x%lx\n", scratch->fw_start);
        sbi_printf("Firmware Size          : %d KB\n",