From 8f744c98a38f643949498e1f02fd0a5ae8f60ffb Mon Sep 17 00:00:00 2001 From: Kimplul Date: Fri, 1 Nov 2024 12:15:11 +0200 Subject: flush only current tlb during page fault --- src/vmem.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/vmem.c b/src/vmem.c index 8c23d4f..5681a85 100644 --- a/src/vmem.c +++ b/src/vmem.c @@ -433,7 +433,7 @@ void handle_pagefault(vm_t addr) if (in_rpc_stack(t, addr)) { vm_t aligned = align_down(addr, BASE_PAGE_SIZE); grow_rpc(t, aligned); - flush_tlb_all(); + flush_tlb_full(); return; } @@ -451,6 +451,6 @@ void handle_pagefault(vm_t addr) * some changes that haven't been reflected over in our rpc virtual * memory so make them visible */ clone_uvmem(p->proc.vmem, t->rpc.vmem); - flush_tlb_all(); + flush_tlb_full(); return; } -- cgit v1.3