VTTBR_VMID_MASK   154 arch/arm/include/asm/kvm_arm.h #define VTTBR_VMID_MASK(size)	(_AT(u64, (1 << size) - 1) << VTTBR_VMID_SHIFT)
VTTBR_VMID_MASK   261 arch/arm64/include/asm/kvm_arm.h #define VTTBR_VMID_MASK(size) (_AT(u64, (1 << size) - 1) << VTTBR_VMID_SHIFT)