diff options
| author | jhb <jhb@FreeBSD.org> | 2001-01-24 11:27:29 +0000 |
|---|---|---|
| committer | jhb <jhb@FreeBSD.org> | 2001-01-24 11:27:29 +0000 |
| commit | f2190e5fefd4fa7add666dfdb775beae244d46f4 (patch) | |
| tree | 2872b56e4d48bbaf5123413938d9aa973251d9e5 /sys | |
| parent | 9e1a5e2c5b81f6a70283c5ecfc85599718f7d5d6 (diff) | |
| download | FreeBSD-src-f2190e5fefd4fa7add666dfdb775beae244d46f4.zip FreeBSD-src-f2190e5fefd4fa7add666dfdb775beae244d46f4.tar.gz | |
Add mtx_assert()'s to verify that kmem_alloc() and kmem_free() are called
with Giant held.
Diffstat (limited to 'sys')
| -rw-r--r-- | sys/vm/vm_kern.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sys/vm/vm_kern.c b/sys/vm/vm_kern.c index ac730ea..08da921 100644 --- a/sys/vm/vm_kern.c +++ b/sys/vm/vm_kern.c @@ -153,6 +153,7 @@ kmem_alloc(map, size) vm_offset_t offset; vm_offset_t i; + mtx_assert(&Giant, MA_OWNED); size = round_page(size); /* @@ -230,6 +231,8 @@ kmem_free(map, addr, size) vm_offset_t addr; vm_size_t size; { + + mtx_assert(&Giant, MA_OWNED); (void) vm_map_remove(map, trunc_page(addr), round_page(addr + size)); } |
