From a67fd68cbf02af84af9e6e7f8e28aadcecc94910 Mon Sep 17 00:00:00 2001 From: Anup Patel Date: Fri, 3 Jan 2020 15:13:33 +0530 Subject: 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 Reviewed-by: Atish Patra --- include/sbi/sbi_init.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'include') diff --git a/include/sbi/sbi_init.h b/include/sbi/sbi_init.h index c976276d..74eb1c07 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 -- cgit v1.3.1