diff options
| author | Kimplul <kimi.h.kuparinen@gmail.com> | 2024-08-22 00:08:46 +0300 |
|---|---|---|
| committer | Kimplul <kimi.h.kuparinen@gmail.com> | 2024-08-22 00:08:46 +0300 |
| commit | 4168cca8124acdbd1866eb87810efe1cfe16903c (patch) | |
| tree | 311b99d22ee32a47753036d6385b19201cb7727e /arch | |
| parent | 6e1ccf81948c356130a0a9bf02cf0027a47b7361 (diff) | |
| download | kmi-4168cca8124acdbd1866eb87810efe1cfe16903c.tar.gz kmi-4168cca8124acdbd1866eb87810efe1cfe16903c.zip | |
add basic ipc-req test
Diffstat (limited to 'arch')
| -rw-r--r-- | arch/riscv64/kernel/vmem.c | 2 |
1 files changed, 1 insertions, 1 deletions
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]; |