vmem_add
vmem_add(vmem, addr, size, 0);
vmem_add(el2_mem_alloc, L2_SIZE, vmm_base - L2_SIZE,
vmem_add(el2_mem_alloc, next_hyp_va,
vmem_add(vmem, mem_start, mem_size, 0);
if (vmem_add(vm, base, size, flags) != 0) {
vmem_add(msi_vmem, sc->sc_map.irq_base, FSL_NUM_MSIS, M_WAITOK);
int vmem_add(vmem_t *vm, vmem_addr_t addr, vmem_size_t size, int flags);
(void)vmem_add(kernel_arena, start, end - start, M_WAITOK);