From 7a23d95b6e432170d6575f515616e5936d53c85e Mon Sep 17 00:00:00 2001 From: Kimplul Date: Wed, 30 Oct 2024 02:32:02 +0200 Subject: bookkeeping --- arch/riscv64/kernel/vmem.c | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'arch/riscv64/kernel/vmem.c') 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); -- cgit v1.3