Anup Patel a67fd68cbf lib: Add sbi_init_count() API ...

We add sbi_init_count() API which provides number of times a
given HART completed init sequence (warmboot/coldboot).

This will be very useful in debugging. With upcoming SBI HSM
extension, it will also help in implementing one-time init
code for each HART.

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

2020-01-07 12:11:48 +05:30

..

sbi

lib: Add sbi_init_count() API

2020-01-07 12:11:48 +05:30

utils

lib: utils: Support CLINT with 32bit MMIO access on RV64 system

2020-01-02 09:14:36 +05:30