KVM_ITS_CTE_RDBASE_SHIFT 2450 virt/kvm/arm/vgic/vgic-its.c 	       ((u64)collection->target_addr << KVM_ITS_CTE_RDBASE_SHIFT) |
KVM_ITS_CTE_RDBASE_SHIFT 2472 virt/kvm/arm/vgic/vgic-its.c 	target_addr = (u32)(val >> KVM_ITS_CTE_RDBASE_SHIFT);