[PATCH 3/7] ARM: S5P6440: Add IRQ support

[Marc Zyngier]

On Wed, 23 Dec 2009 14:22:48 +0900
Kukjin Kim <kgene.kim at samsung.com> wrote:

Kukjin,

> > > +#define IRQ_EINT_GROUP8_NR	(11)
> > 
> > Group 8 has interrupts numbered from 3 to 11, so this should read 12.
> According to the UM's '5.10 PORT P Control Registers', it has 11 interrupts
> numbered from 3 to 10. So I think it's right.

Ah, it looks like a documentation bug, then... My UM describes
EINT8[8:11]. Probably yours is more correct.

	M.
-- 
Fast. Cheap. Reliable. Pick two.