VM_REF_DELETED
KKASSERT((newvm->vm_refcnt & VM_REF_DELETED) == 0);
KKASSERT((newvm->vm_refcnt & VM_REF_DELETED) == 0);
KKASSERT((newvm->vm_refcnt & VM_REF_DELETED) == 0);
vm->vm_refcnt = VM_REF_DELETED;
KKASSERT(vm->vm_refcnt == VM_REF_DELETED);
KKASSERT(vm->vm_refcnt == VM_REF_DELETED);
if (n & VM_REF_DELETED)
if (vm->vm_refcnt & VM_REF_DELETED)
KKASSERT((n & VM_REF_DELETED) == 0);
if (atomic_cmpset_int(&vm->vm_refcnt, 0, VM_REF_DELETED)) {