diff options
| author | Anup Patel <anup.patel@wdc.com> | 2020-04-26 15:52:26 +0530 |
|---|---|---|
| committer | Anup Patel <anup@brainfault.org> | 2020-05-01 10:33:08 +0530 |
| commit | 1f21b99ff04ff7f13249f79777755fcb988e5ef9 (patch) | |
| tree | 82409824325d8fc28cc25309f39178fd74aed234 | |
| parent | f1aa9e54e00006ae70aeac638d5b75093520f65d (diff) | |
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>
| -rw-r--r-- | lib/sbi/sbi_init.c | 4 |
1 files changed, 3 insertions, 1 deletions
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", |