projects / platform / kernel / opensbi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 73c19e6) | patch
lib: Add sbi_init_count() API
authorAnup Patel <anup.patel@wdc.com>
Fri, 3 Jan 2020 09:43:33 +0000 (15:13 +0530)
committerAnup Patel <anup.patel@wdc.com>
Tue, 7 Jan 2020 06:41:48 +0000 (12:11 +0530)
commita67fd68cbf02af84af9e6e7f8e28aadcecc94910
tree87d35be847cacf6b2bac33d65a6a84259151b0e6tree | snapshot
parent73c19e69f3000351dc30d272a17dffa694e9b6bfcommit | diff
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>
include/sbi/sbi_init.h diff | blob | history
lib/sbi/sbi_init.c diff | blob | history
Domain: System / Kernel;