From 1f21b99ff04ff7f13249f79777755fcb988e5ef9 Mon Sep 17 00:00:00 2001 From: Anup Patel Date: Sun, 26 Apr 2020 15:52:26 +0530 Subject: 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 Reviewed-by: Atish Patra --- lib/sbi/sbi_init.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'lib/sbi/sbi_init.c') diff --git a/lib/sbi/sbi_init.c b/lib/sbi/sbi_init.c index b01bff1..629eb83 100644 --- 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", -- cgit v1.2.3