Hi Ian,
On 19/02/2015 15:24, Ian Campbell wrote:
+static void check_timer_irq_cfg(unsigned int irq, const char *which)
+{
+ struct irq_desc *desc = irq_to_desc(irq);
+
+ /*
+ * The interrupt contoller driver will update desc->arch.type with
+ * the actual type which ended up configured in the hardware.
+ */
+ if ( desc->arch.type & DT_IRQ_TYPE_LEVEL_LOW )
+ return;
I should have spotted it before ... The timer interrupts can be either
level low or high.
For instance Seattle is using level high interrupts. Therefore, the
error message will be odd on this platform.
I will send a patch Monday to fix it.
Regards,
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
