Fix missing space in sbi_hart_pmp_configure
error printing.
Signed-off-by: Nikita Shubin <n.shubin@yadro.com>
Reviewed-by: Dong Du <Dd_nirvana@sjtu.edu.cn>
Reviewed-by: Xiang w <wxjstz@126.com>
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);
}
}