search for: gicd_type_lines

.../* Can''t route interrupts that don''t exist */ spin_lock_irqsave(&desc->lock, flags); spin_lock(&gic.lock); @@ -264,7 +264,7 @@ static void __init gic_dist_init(void) GICD[GICD_CTLR] = 0; type = GICD[GICD_TYPER]; - gic.lines = 32 * (type & GICD_TYPE_LINES); + gic.lines = 32 * ((type & GICD_TYPE_LINES) + 1); gic.cpus = 1 + ((type & GICD_TYPE_CPUS) >> 5); printk("GIC: %d lines, %d cpu%s%s (IID %8.8x).\n", gic.lines, gic.cpus, (gic.cpus == 1) ? "" : "s", -- 1.7.10.4

Hello everyone, this is the fourth version of the patch series that introduces ARMv7 with virtualization extensions support in Xen. The series allows Xen and Dom0 to boot on a Cortex-A15 based Versatile Express simulator. See the following announce email for more informations about what we are trying to achieve, as well as the original git history: See

Hello everyone, this is the very first version of the patch series that introduces ARMv7 with virtualization extensions support in Xen. The series allows Xen and Dom0 to boot on a Cortex-A15 based Versatile Express simulator. See the following announce email for more informations about what we are trying to achieve, as well as the original git history: See