VTTBR_VMID_SHIFT  153 arch/arm/include/asm/kvm_arm.h #define VTTBR_VMID_SHIFT  _AC(48, ULL)
VTTBR_VMID_SHIFT  260 arch/arm64/include/asm/kvm_arm.h #define VTTBR_VMID_SHIFT  (UL(48))