[RFC PATCH v3 5/5] sbi: init: Print supervisor domains at boot

[Anup Patel]

On Thu, Aug 6, 2026 at 12:09 AM Rahul Pathak
<rahul.pathak at oss.qualcomm.com> wrote:
>
> Print the configured supervisor domains alongside the existing domain
> details during boot.
>
> Signed-off-by: Rahul Pathak <rahul.pathak at oss.qualcomm.com>
> ---
>  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();

The sbi_domain_dump_all() already prints domain regions in a way
independent of the underlying hart protection mechanism so drop
both sbi_mpt_dump() and this patch.

Regards,
Anup