diff --git a/lib/sbi/sbi_hart.c b/lib/sbi/sbi_hart.c index 76ed678..d9a15d9 100644 --- a/lib/sbi/sbi_hart.c +++ b/lib/sbi/sbi_hart.c @@ -226,7 +226,7 @@ int sbi_hart_pmp_configure(struct sbi_scratch *scratch) pmp_set(pmp_idx++, pmp_flags, reg->base, reg->order); else { sbi_printf("Can not configure pmp for domain %s", dom->name); - sbi_printf("because memory region address %lx or size %lx is not in range\n", + sbi_printf(" because memory region address %lx or size %lx is not in range\n", reg->base, reg->order); } }