lib: sbi: Print platform HART count just before boot HART id
authorAnup Patel <anup.patel@wdc.com>
Sun, 10 May 2020 06:19:59 +0000 (11:49 +0530)
committerAnup Patel <anup@brainfault.org>
Tue, 19 May 2020 03:49:39 +0000 (09:19 +0530)
commit3a8fc8135714e39bef99cbf2a4b31e6f2f19a929
treebf745a2ef8360bb8cc2e0a838af96f6b2fee43de
parent3aa1036f91a20d3cd9c83c9f0e4511db931f4d7d
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>
lib/sbi/sbi_init.c