From 4168cca8124acdbd1866eb87810efe1cfe16903c Mon Sep 17 00:00:00 2001 From: Kimplul Date: Thu, 22 Aug 2024 00:08:46 +0300 Subject: add basic ipc-req test --- arch/riscv64/kernel/vmem.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'arch/riscv64/kernel/vmem.c') diff --git a/arch/riscv64/kernel/vmem.c b/arch/riscv64/kernel/vmem.c index 9473f38..a4cf552 100644 --- a/arch/riscv64/kernel/vmem.c +++ b/arch/riscv64/kernel/vmem.c @@ -628,7 +628,7 @@ void mark_rpc_valid(struct tcb *t, vm_t bottom) struct vmem *b = t->arch.rpc_leaf; int bottom_idx = t->arch.rpc_idx; int top_idx = (bottom - RPC_STACK_BASE) / BASE_PAGE_SIZE; - assert(bottom_idx < top_idx); + assert(bottom_idx <= top_idx); while (top_idx != bottom_idx) { pm_t *pte = (pm_t *)&b->leaf[bottom_idx]; -- cgit v1.3