[PATCH 1/2] lib: sbi: fix GLOBAL_PLAT_DEFINE

[Anup Patel]

On Mon, Nov 25, 2024 at 4:24 PM Clément Léger <cleger at rivosinc.com> wrote:
>
> Fix GLOBAL_PLAT_0_START/END definitions. The specification states that
> the beginning of the range is 0xc000 and the end is 0xffff.
>
> Reported-by: Andrew Jones <andrew.jones at linux.dev>
> Signed-off-by: Clément Léger <cleger at rivosinc.com>

LGTM.

Reviewed-by: Anup Patel <anup at brainfault.org>

Applied this patch to the riscv/opensbi repo.

Thanks,
Anup

> ---
>  include/sbi/sbi_ecall_interface.h | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/include/sbi/sbi_ecall_interface.h b/include/sbi/sbi_ecall_interface.h
> index 3aa5746..7e14d6c 100644
> --- a/include/sbi/sbi_ecall_interface.h
> +++ b/include/sbi/sbi_ecall_interface.h
> @@ -386,8 +386,8 @@ enum sbi_sse_state {
>  #define SBI_SSE_EVENT_LOCAL_PLAT_0_START       0x00004000
>  #define SBI_SSE_EVENT_LOCAL_PLAT_0_END         0x00007fff
>  #define SBI_SSE_EVENT_GLOBAL_RAS               0x00008000
> -#define SBI_SSE_EVENT_GLOBAL_PLAT_0_START      0x00004000
> -#define SBI_SSE_EVENT_GLOBAL_PLAT_0_END                0x00007fff
> +#define SBI_SSE_EVENT_GLOBAL_PLAT_0_START      0x0000c000
> +#define SBI_SSE_EVENT_GLOBAL_PLAT_0_END                0x0000ffff
>
>  #define SBI_SSE_EVENT_LOCAL_PMU                        0x00010000
>  #define SBI_SSE_EVENT_LOCAL_PLAT_1_START       0x00014000
> --
> 2.45.2
>
>
> --
> opensbi mailing list
> opensbi at lists.infradead.org
> http://lists.infradead.org/mailman/listinfo/opensbi