Aren/NetBSD
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

If we get a fault we shouldn't have, set pmap_needs_pte_sync and retry.

Browse Source
This commit is contained in:
matt 2012-09-26 18:18:08 +00:00
parent c1c5c6072d
commit 60f06ccbe9
1 changed files with 13 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
sys/arch/arm/arm32/pmap.c
View File

@ -1,4 +1,4 @@
/* $NetBSD: pmap.c,v 1.237 2012/09/22 00:33:37 matt Exp $ */
/* $NetBSD: pmap.c,v 1.238 2012/09/26 18:18:08 matt Exp $ */
/*
* Copyright 2003 Wasabi Systems, Inc.
@ -212,7 +212,7 @@
#include <arm/cpuconf.h>
#include <arm/arm32/katelib.h>
__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.237 2012/09/22 00:33:37 matt Exp $");
__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.238 2012/09/26 18:18:08 matt Exp $");
#ifdef PMAP_DEBUG
@ -4002,6 +4002,17 @@ pmap_fault_fixup(pmap_t pm, vaddr_t va, vm_prot_t ftype, int user)
}
#endif /* CPU_SA110 */
/*
* If 'rv == 0' at this point, it generally indicates that there is a
* stale TLB entry for the faulting address. That might be due to a
* wrong setting of pmap_needs_pte_sync. So set it and retry.
*/
if (rv == 0 && pm->pm_l1->l1_domain_use_count == 1
&& pmap_needs_pte_sync == 0) {
pmap_needs_pte_sync = 1;
rv = 1;
}
#ifdef DEBUG
/*
* If 'rv == 0' at this point, it generally indicates that there is a