[PATCH 7/7] lib: sbi: Show devices provided by platform in boot prints

[Alistair Francis]

On Thu, 2021-04-22 at 16:50 +0530, Anup Patel wrote:
> We extend the boot-time prints to show various devices provided
> (or registered) by the platform support. This will help users
> verify hardware devices available for OpenSBI firmwares.
> 
> Signed-off-by: Anup Patel <anup.patel at wdc.com>

Reviewed-by: Alistair Francis <alistair.francis at wdc.com>

Alistair

> ---
>  lib/sbi/sbi_init.c | 20 ++++++++++++++++++++
>  1 file changed, 20 insertions(+)
> 
> diff --git a/lib/sbi/sbi_init.c b/lib/sbi/sbi_init.c
> index 7380d01..3f44a2b 100644
> --- a/lib/sbi/sbi_init.c
> +++ b/lib/sbi/sbi_init.c
> @@ -53,6 +53,11 @@ static void sbi_boot_print_banner(struct sbi_scratch
> *scratch)
>  static void sbi_boot_print_general(struct sbi_scratch *scratch)
>  {
>         char str[128];
> +       const struct sbi_hsm_device *hdev;
> +       const struct sbi_ipi_device *idev;
> +       const struct sbi_timer_device *tdev;
> +       const struct sbi_console_device *cdev;
> +       const struct sbi_system_reset_device *srdev;
>         const struct sbi_platform *plat = sbi_platform_ptr(scratch);
>  
>         if (scratch->options & SBI_SCRATCH_NO_BOOT_PRINTS)
> @@ -65,6 +70,21 @@ static void sbi_boot_print_general(struct
> sbi_scratch *scratch)
>         sbi_printf("Platform Features         : %s\n", str);
>         sbi_printf("Platform HART Count       : %u\n",
>                    sbi_platform_hart_count(plat));
> +       idev = sbi_ipi_get_device();
> +       sbi_printf("Platform IPI Device       : %s\n",
> +                  (idev) ? idev->name : "---");
> +       tdev = sbi_timer_get_device();
> +       sbi_printf("Platform Timer Device     : %s\n",
> +                  (tdev) ? tdev->name : "---");
> +       cdev = sbi_console_get_device();
> +       sbi_printf("Platform Console Device   : %s\n",
> +                  (cdev) ? cdev->name : "---");
> +       hdev = sbi_hsm_get_device();
> +       sbi_printf("Platform HSM Device       : %s\n",
> +                  (hdev) ? hdev->name : "---");
> +       srdev = sbi_system_reset_get_device();
> +       sbi_printf("Platform SysReset Device  : %s\n",
> +                  (srdev) ? srdev->name : "---");
>  
>         /* Firmware details */
>         sbi_printf("Firmware Base             : 0x%lx\n", scratch-
> >fw_start);