Searched refs:vgic_v4_get_vlpi_state (Results 1 – 3 of 3) sorted by relevance
334 void vgic_v4_get_vlpi_state(struct vgic_irq *irq, bool *val);
212 void vgic_v4_get_vlpi_state(struct vgic_irq *irq, bool *val) in vgic_v4_get_vlpi_state() function
430 vgic_v4_get_vlpi_state(irq, &is_pending); in vgic_v3_save_pending_tables()