On 11.12.2012, at 00:34, Scott Wood <address@hidden> wrote:
> On 12/08/2012 07:44:25 AM, Alexander Graf wrote:
>> +/* These are available through separate regions, but
>> + for simplicity's sake mapped into the same number space */
>> +#define MPIC_TMR_IRQ 0xf3
>> +#define MPIC_IPI_IRQ 0xfb
>
> Please don't do this, or at least choose different numbers. 0xf3
is a
> valid MSI on p4080 (not to mention T4240 which goes beyond 256).
Ah, that's where I was wondering myself too. I copied the above logic
from Linux, which maps tmr and ipi to max_irq-x. But I agree that it
sounds off.