Jonathan Stone wrote:

> Why not declare an `extern' variable holding the mask, initalized to
> the value in the ifdef? that owuld make it writable via gdb (if not
> sysctl, since as you say its hopefully a temporary workaround).

  Autoconfig happens at system startup, well before the time you can use
sysctl on your system.  Changing the value later wouldn't have any
effect.

  BTW, this patch is consistent with the other INTR_ALLOC_MASKs we have
for autoconfig, like PCIC_ISA_INTR_ALLOC_MASK ...

  Cheers
      ,
   Rene