Symbol: el2_hypctx_size
sys/arm64/vmm/vmm_arm64.c
1220
vmmpmap_remove(hypctx->el2_addr, el2_hypctx_size(), true);
sys/arm64/vmm/vmm_arm64.c
559
size = el2_hypctx_size();