[RFC PATCH v3 5/5] sbi: init: Print supervisor domains at boot
Rahul Pathak <[email protected]>
| Newsgroups | org.infradead.lists.opensbi |
|---|---|
| Message-ID | <[email protected]> |
Print the configured supervisor domains alongside the existing domain details during boot. Signed-off-by: Rahul Pathak <[email protected]> --- lib/sbi/sbi_init.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/lib/sbi/sbi_init.c b/lib/sbi/sbi_init.c index acd2f8b6..dc399494 100644 --- a/lib/sbi/sbi_init.c +++ b/lib/sbi/sbi_init.c @@ -35,6 +35,7 @@ #include <sbi/sbi_tlb.h> #include <sbi/sbi_version.h> #include <sbi/sbi_unit_test.h> +#include <sbi/sbi_mpt.h> #define BANNER \ " ____ _____ ____ _____\n" \ @@ -160,6 +161,9 @@ static void sbi_boot_print_domains(struct sbi_scratch *scratch) /* Domain details */ sbi_domain_dump_all(" "); + + /* Print Supervisor Domains */ + sbi_mpt_dump(); } static void sbi_boot_print_hart(struct sbi_scratch *scratch, u32 hartid) -- 2.51.0 -- opensbi mailing list [email protected] http://lists.infradead.org/mailman/listinfo/opensbi