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