diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/uapi/ipc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/uapi/ipc.c b/src/uapi/ipc.c index 644abc2..cebea68 100644 --- a/src/uapi/ipc.c +++ b/src/uapi/ipc.c @@ -48,7 +48,7 @@ enum ipc_flags { static inline void finalize_rpc(struct tcb *t, struct tcb *r, vm_t s) { clone_uvmem(r->proc.vmem, t->rpc.vmem); - flush_tlb_all(); + flush_tlb_full(); set_return(t, r->callback); reference_thread(r); @@ -247,7 +247,7 @@ static void leave_rpc(struct tcb *t, struct sys_ret a) * no-op */ t->rpc_stack = ctx->rpc_stack; destroy_rpc(t); - flush_tlb_all(); + flush_tlb_full(); t->pid = ctx->pid; t->eid = ctx->eid; |