CVS commit: src/sys/arch/arm/arm32

["Nick Hudson" <skrll%netbsd.org@localhost>]

Module Name:    src
Committed By:   skrll
Date:           Fri Nov 13 08:04:21 UTC 2015

Modified Files:
        src/sys/arch/arm/arm32: pmap.c

Log Message:
Tweak the KASSERTs in pmap_update in the ARM_MMU_EXTENDED case - Lazy
updating is not done on the kernel pmap.

PR port-arm/50420: curcpu()->ci_pmap_cur != pm || pm->pm_pai[0].pai_asid == curcpu()->ci_pmap_asid_cur" failed


To generate a diff of this commit:
cvs rdiff -u -r1.329 -r1.330 src/sys/arch/arm/arm32/pmap.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.