From 5fb3a960f55fa8d190b18c6603708fa2fbda09dc Mon Sep 17 00:00:00 2001 From: Ville Juven Date: Thu, 22 Dec 2022 13:08:35 +0200 Subject: [PATCH] riscv/addrenv: Test that satp contents make sense Check that satp (the page directory root) is not 0, which means it has not been set. --- arch/risc-v/src/common/riscv_addrenv.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arch/risc-v/src/common/riscv_addrenv.c b/arch/risc-v/src/common/riscv_addrenv.c index d24ffb9603..fdfd25c4d4 100644 --- a/arch/risc-v/src/common/riscv_addrenv.c +++ b/arch/risc-v/src/common/riscv_addrenv.c @@ -685,7 +685,7 @@ ssize_t up_addrenv_heapsize(const group_addrenv_t *addrenv) int up_addrenv_select(const group_addrenv_t *addrenv, save_addrenv_t *oldenv) { - DEBUGASSERT(addrenv); + DEBUGASSERT(addrenv && addrenv->satp); if (oldenv) { /* Save the old environment */