Displaying 1 result from an estimated 1 matches for "lr_queue".
Did you mean:
lo_queue
2013 Feb 15
1
[PATCH 3/4] xen/arm: dump gic debug info from arch_dump_domain_info
...printk(" VCPU_LR[%d]=%x\n", i, v->arch.gic_lr[i]);
+ }
+
+ list_for_each_entry ( p, &v->arch.vgic.inflight_irqs, inflight )
+ {
+ printk("Inflight irq=%d\n", p->irq);
+ }
+
+ list_for_each_entry( p, &v->arch.vgic.lr_pending, lr_queue )
+ {
+ printk("Pending irq=%d\n", p->irq);
+ }
+
+}
+
void __cpuinit init_maintenance_interrupt(void)
{
request_irq(25, maintenance_interrupt, 0, "irq-maintenance", NULL);
diff --git a/xen/include/asm-arm/gic.h b/xen/include/asm-arm/gic.h
index f4b0324.....