Symbol: ID_AA64MMFR1_VMIDBITS_SHIFT
sys/arch/arm64/include/armreg.h
578
#define ID_AA64MMFR1_VMIDBITS_MASK (0xfULL << ID_AA64MMFR1_VMIDBITS_SHIFT)
sys/arch/arm64/include/armreg.h
580
#define ID_AA64MMFR1_VMIDBITS_8 (0x0ULL << ID_AA64MMFR1_VMIDBITS_SHIFT)
sys/arch/arm64/include/armreg.h
581
#define ID_AA64MMFR1_VMIDBITS_16 (0x2ULL << ID_AA64MMFR1_VMIDBITS_SHIFT)