[PATCH] lib: sbi: Fix PMP granularity handling in sbi_hart_map_saddr()

Samuel Holland samuel.holland at sifive.com
Tue Nov 21 16:30:34 PST 2023


Hi Anup,

On 2023-11-20 11:49 AM, Anup Patel wrote:
> The sbi_hart_map_saddr() must create PMP mapping of size greater
> than or equal to PMP granularity otherwise PMP mapping does not
> work when size parameter less than sbi_hart_pmp_granularity(scratch).
> 
> Fixes: 6e44ef686a9b ("lib: sbi: Add functions to map/unmap shared
> memory")

This line should not be wrapped. Otherwise,

Reviewed-by: Samuel Holland <samuel.holland at sifive.com>

> Signed-off-by: Anup Patel <apatel at ventanamicro.com>
> ---
>  lib/sbi/sbi_hart.c | 3 ++-
>  1 file changed, 2 insertions(+), 1 deletion(-)
> 
> diff --git a/lib/sbi/sbi_hart.c b/lib/sbi/sbi_hart.c
> index 77eef49..bf8792a 100644
> --- a/lib/sbi/sbi_hart.c
> +++ b/lib/sbi/sbi_hart.c
> @@ -508,7 +508,8 @@ int sbi_hart_map_saddr(unsigned long addr, unsigned long size)
>  	if (is_pmp_entry_mapped(SBI_SMEPMP_RESV_ENTRY))
>  		return SBI_ENOSPC;
>  
> -	for (order = log2roundup(size) ; order <= __riscv_xlen; order++) {
> +	for (order = log2roundup(MAX(sbi_hart_pmp_granularity(scratch), size));

I noticed that sbi_hart_pmp_granularity() is always passed to log2roundup(), and
hfeatures->pmp_gran is originally generated by shifting, so maybe the value
should be stored as the log base 2 to avoid the conversions?

Regards,
Samuel

> +	     order <= __riscv_xlen; order++) {
>  		if (order < __riscv_xlen) {
>  			base = addr & ~((1UL << order) - 1UL);
>  			if ((base <= addr) &&




More information about the opensbi mailing list