diff options
author | alc <alc@FreeBSD.org> | 2003-02-15 19:23:37 +0000 |
---|---|---|
committer | alc <alc@FreeBSD.org> | 2003-02-15 19:23:37 +0000 |
commit | 404529158214435946c27f522612d2e34ae4175f (patch) | |
tree | bb02380dfc568f86f383e760dab550785216caa6 /sys/amd64 | |
parent | f86d7300162bc4da0bca9deac8b8d397a923da4c (diff) | |
download | FreeBSD-src-404529158214435946c27f522612d2e34ae4175f.zip FreeBSD-src-404529158214435946c27f522612d2e34ae4175f.tar.gz |
Assert that the kernel map's system mutex is held in pmap_growkernel().
Diffstat (limited to 'sys/amd64')
-rw-r--r-- | sys/amd64/amd64/pmap.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/amd64/amd64/pmap.c b/sys/amd64/amd64/pmap.c index 775cb37..c38d90b 100644 --- a/sys/amd64/amd64/pmap.c +++ b/sys/amd64/amd64/pmap.c @@ -1586,6 +1586,7 @@ pmap_growkernel(vm_offset_t addr) pd_entry_t newpdir; s = splhigh(); + mtx_assert(&kernel_map->system_mtx, MA_OWNED); if (kernel_vm_end == 0) { kernel_vm_end = KERNBASE; nkpt = 0; |