diff options
Diffstat (limited to 'arch')
| -rw-r--r-- | arch/riscv64/kernel/vmem.c | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/arch/riscv64/kernel/vmem.c b/arch/riscv64/kernel/vmem.c index 1648706..d66ddec 100644 --- a/arch/riscv64/kernel/vmem.c +++ b/arch/riscv64/kernel/vmem.c @@ -581,11 +581,13 @@ void copy_rpc_stack(struct tcb *t, struct tcb *c) * great. TODO: use the direct pointer to the rpc stack element? */ for (size_t i = 0; i < rpc_pages; ++i) { pm_t p1, p2; - stat_t ok1 = stat_vpage(t->rpc.vmem, RPC_STACK_BASE + BASE_PAGE_SIZE * i, - &p1, NULL, NULL); + stat_t ok1 = stat_vpage(t->rpc.vmem, + RPC_STACK_BASE + BASE_PAGE_SIZE * i, + &p1, NULL, NULL); - stat_t ok2 = stat_vpage(c->rpc.vmem, RPC_STACK_BASE + BASE_PAGE_SIZE * i, - &p2, NULL, NULL); + stat_t ok2 = stat_vpage(c->rpc.vmem, + RPC_STACK_BASE + BASE_PAGE_SIZE * i, + &p2, NULL, NULL); assert(ok1 == OK && ok2 == OK); memcpy((void *)p2, (void *)p1, BASE_PAGE_SIZE); |