lib: sbi: Print platform HART count just before boot HART id

On platforms with continuous HART ids starting from zero:
0 <= boot HART id < platform HART count

The above co-relation of boot HART id and platform HART count
is true for most RISC-V platfors so it's better to print platform
HART count just before boot HART id.

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 de54854..c573fd8 100644 (file)
--- a/lib/sbi/sbi_init.c
+++ b/lib/sbi/sbi_init.c
@@ -57,10 +57,10 @@ 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 Count : %u\n",
-                  sbi_platform_hart_count(plat));
        sbi_platform_get_features_str(plat, str, sizeof(str));
        sbi_printf("Platform Features   : %s\n", str);
+       sbi_printf("Platform HART Count : %u\n",
+                  sbi_platform_hart_count(plat));
 
        /* Boot HART details */
        sbi_printf("Boot HART ID        : %u\n", hartid);