diff options
| author | Anup Patel <anup.patel@wdc.com> | 2020-09-23 21:49:01 +0530 |
|---|---|---|
| committer | Anup Patel <anup@brainfault.org> | 2020-10-21 12:01:34 +0530 |
| commit | c347408a39eb66c9705ccc0cbd4537149fda938f (patch) | |
| tree | 429ba4624a35a0b92004e1bc527de4f73b59614d /include/sbi/sbi_domain.h | |
| parent | c10c30b485e286b7ebe3f63897616107fb05ddce (diff) | |
lib: sbi: Display domain details in boot prints
We extend boot prints to display details of each domain. In the
process, we remove sbi_hart_pmp_dump() because it shows redundant
information which domain details already show.
Signed-off-by: Anup Patel <anup.patel@wdc.com>
Reviewed-by: Atish Patra <atish.patra@wdc.com>
Diffstat (limited to 'include/sbi/sbi_domain.h')
| -rw-r--r-- | include/sbi/sbi_domain.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/include/sbi/sbi_domain.h b/include/sbi/sbi_domain.h index 4bb08dc..6f90b26 100644 --- a/include/sbi/sbi_domain.h +++ b/include/sbi/sbi_domain.h @@ -138,6 +138,12 @@ bool sbi_domain_check_addr(const struct sbi_domain *dom, unsigned long addr, unsigned long mode, unsigned long access_flags); +/** Dump domain details on the console */ +void sbi_domain_dump(const struct sbi_domain *dom, const char *suffix); + +/** Dump all domain details on the console */ +void sbi_domain_dump_all(const char *suffix); + /** Finalize domain tables and startup non-root domains */ int sbi_domain_finalize(struct sbi_scratch *scratch, u32 cold_hartid); |