Symbol: VTCR_EL2_TG0_SHIFT
sys/arm64/include/hypervisor.h
2134
#define VTCR_EL2_TG0_4K (0x0UL << VTCR_EL2_TG0_SHIFT)
sys/arm64/include/hypervisor.h
2135
#define VTCR_EL2_TG0_64K (0x1UL << VTCR_EL2_TG0_SHIFT)
sys/arm64/include/hypervisor.h
2136
#define VTCR_EL2_TG0_16K (0x2UL << VTCR_EL2_TG0_SHIFT)