More on the iBook G4 missing keyboard

I can see that an interrupt andler is installer for IRQ 47. The number
is found from the "interrupts" property of device extint-gpio1 in OF
tree.

I added a printf in the interupt handler, and I get nothing when I press
a key. I therefore wonder if 47 is the right IRQ.

How can I check the IRQ for the ADB controller? Why should it be given
by extint-gpio1?

-- 
Emmanuel Dreyfus
Il y a 10 sortes de personnes dans le monde: ceux qui comprennent 
le binaire et ceux qui ne le comprennent pas.
manu@netbsd.org