KVM_ITS_CTE_RDBASE_SHIFT
((u64)collection->target_addr << KVM_ITS_CTE_RDBASE_SHIFT) |
target_addr = (u32)(val >> KVM_ITS_CTE_RDBASE_SHIFT);