diff options
| author | Anup Patel <anup.patel@wdc.com> | 2020-01-03 15:13:33 +0530 |
|---|---|---|
| committer | Anup Patel <anup.patel@wdc.com> | 2020-01-07 12:11:48 +0530 |
| commit | a67fd68cbf02af84af9e6e7f8e28aadcecc94910 (patch) | |
| tree | 87d35be847cacf6b2bac33d65a6a84259151b0e6 /include/sbi/sbi_init.h | |
| parent | 73c19e69f3000351dc30d272a17dffa694e9b6bf (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>
Diffstat (limited to 'include/sbi/sbi_init.h')
| -rw-r--r-- | include/sbi/sbi_init.h | 2 |
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 |