Symbol: el2_hyp_size
sys/arm64/vmm/vmm_arm64.c
1236
vmmpmap_remove(hyp->el2_addr, el2_hyp_size(hyp->vm), true);
sys/arm64/vmm/vmm_arm64.c
516
size = el2_hyp_size(vm);