vmmpmap_remove - FreeBSD

50

void vmmpmap_remove(vm_offset_t, vm_size_t, bool);

1220

vmmpmap_remove(hypctx->el2_addr, el2_hypctx_size(), true);

1236

vmmpmap_remove(hyp->el2_addr, el2_hyp_size(hyp->vm), true);

458

vmmpmap_remove(stack_hyp_va[cpu],

462

vmmpmap_remove(hyp_code_base, hyp_code_len, false);