Symbol: EL2_VIRT_BITS
sys/arm64/vmm/vmm_arm64.c
329
el2_regs.tcr_el2 |= TCR_EL2_T0SZ(64 - EL2_VIRT_BITS);
sys/arm64/vmm/vmm_arm64.c
77
CTASSERT((1ul << EL2_VIRT_BITS) >= HYP_VM_MAX_ADDRESS);