summaryrefslogtreecommitdiff
path: root/include/sbi/sbi_init.h
diff options
context:
space:
mode:
authorAnup Patel <anup.patel@wdc.com>2020-01-03 12:43:33 +0300
committerAnup Patel <anup.patel@wdc.com>2020-01-07 09:41:48 +0300
commita67fd68cbf02af84af9e6e7f8e28aadcecc94910 (patch)
tree87d35be847cacf6b2bac33d65a6a84259151b0e6 /include/sbi/sbi_init.h
parent73c19e69f3000351dc30d272a17dffa694e9b6bf (diff)
downloadopensbi-a67fd68cbf02af84af9e6e7f8e28aadcecc94910.tar.xz
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>
Diffstat (limited to 'include/sbi/sbi_init.h')
-rw-r--r--include/sbi/sbi_init.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/include/sbi/sbi_init.h b/include/sbi/sbi_init.h
index c976276..74eb1c0 100644
--- a/include/sbi/sbi_init.h
+++ b/include/sbi/sbi_init.h
@@ -16,6 +16,8 @@ struct sbi_scratch;
void __noreturn sbi_init(struct sbi_scratch *scratch);
+unsigned long sbi_init_count(u32 hartid);
+
void __noreturn sbi_exit(struct sbi_scratch *scratch);
#endif