vm_object_deallocate_locked
vm_object_deallocate_locked(object);
vm_object_deallocate_locked(object);
vm_object_deallocate_locked(object);
vm_object_deallocate_locked(object);
VMOBJDEBUG(vm_object_deallocate_locked)(vm_object_t object VMOBJDBARGS)
void VMOBJDEBUG(vm_object_deallocate_locked)(vm_object_t object VMOBJDBARGS);