Searched refs:intid_is_private (Results 1 – 1 of 1) sorted by relevance
137 bool intid_is_private = INTID_IS_SGI(intid) || INTID_IS_PPI(intid); in vgic_poke_irq() local139 uint32_t group = intid_is_private ? KVM_DEV_ARM_VGIC_GRP_REDIST_REGS in vgic_poke_irq()142 if (intid_is_private) { in vgic_poke_irq()
