Searched refs:print_irq_state (Results 1 – 1 of 1) sorted by relevance
188 static void print_irq_state(struct seq_file *s, struct vgic_irq *irq, in print_irq_state() function255 print_irq_state(s, irq, vcpu); in vgic_debug_show()