kernel/vm: Add some more assertions.

This commit is contained in:
Augustin Cavalier
2025-10-17 15:43:03 -04:00
parent a1ef046ad7
commit 0f9f1f124f
2 changed files with 6 additions and 0 deletions
@@ -196,6 +196,7 @@ VMKernelAddressSpace::InsertArea(VMArea* _area, size_t size,
TRACE("VMKernelAddressSpace::InsertArea(%p, %" B_PRIu32 ", %#" B_PRIxSIZE TRACE("VMKernelAddressSpace::InsertArea(%p, %" B_PRIu32 ", %#" B_PRIxSIZE
", %p \"%s\")\n", addressRestrictions->address, ", %p \"%s\")\n", addressRestrictions->address,
addressRestrictions->address_specification, size, _area, _area->name); addressRestrictions->address_specification, size, _area, _area->name);
ASSERT_WRITE_LOCKED_RW_LOCK(&fLock);
VMKernelArea* area = static_cast<VMKernelArea*>(_area); VMKernelArea* area = static_cast<VMKernelArea*>(_area);
@@ -227,6 +228,7 @@ void
VMKernelAddressSpace::RemoveArea(VMArea* _area, uint32 allocationFlags) VMKernelAddressSpace::RemoveArea(VMArea* _area, uint32 allocationFlags)
{ {
TRACE("VMKernelAddressSpace::RemoveArea(%p)\n", _area); TRACE("VMKernelAddressSpace::RemoveArea(%p)\n", _area);
ASSERT_WRITE_LOCKED_RW_LOCK(&fLock);
VMKernelArea* area = static_cast<VMKernelArea*>(_area); VMKernelArea* area = static_cast<VMKernelArea*>(_area);
@@ -164,6 +164,8 @@ VMUserAddressSpace::InsertArea(VMArea* _area, size_t size,
const virtual_address_restrictions* addressRestrictions, const virtual_address_restrictions* addressRestrictions,
uint32 allocationFlags, void** _address) uint32 allocationFlags, void** _address)
{ {
ASSERT_WRITE_LOCKED_RW_LOCK(&fLock);
VMUserArea* area = static_cast<VMUserArea*>(_area); VMUserArea* area = static_cast<VMUserArea*>(_area);
addr_t searchBase, searchEnd; addr_t searchBase, searchEnd;
@@ -210,6 +212,8 @@ VMUserAddressSpace::InsertArea(VMArea* _area, size_t size,
void void
VMUserAddressSpace::RemoveArea(VMArea* _area, uint32 allocationFlags) VMUserAddressSpace::RemoveArea(VMArea* _area, uint32 allocationFlags)
{ {
ASSERT_WRITE_LOCKED_RW_LOCK(&fLock);
VMUserArea* area = static_cast<VMUserArea*>(_area); VMUserArea* area = static_cast<VMUserArea*>(_area);
fAreas.Remove(area); fAreas.Remove(area);