Searched refs:itt_addr_field (Results 1 – 3 of 3) sorted by relevance
2271 u64 val, itt_addr_field; in vgic_its_save_dte() local2274 itt_addr_field = dev->itt_addr >> 8; in vgic_its_save_dte()2278 (itt_addr_field << KVM_ITS_DTE_ITTADDR_SHIFT) | in vgic_its_save_dte()