>But attached find a little program I whipped up to read the information out
>of the kernel, using the kvm interface.

this looked like a cute little program and i tried it out.  then i saw
something that made me curious.  according to your program:

# ./genintr
 irq  intrmask level type   (handler irq level count)...
...
 11   d000ef6c   60 LEVEL : (c012ec30 11 6 3791275) (c010e24c 11 5 3791275) (c029a0f4 11 6 3791275) (c029a0f4 11 6 3791275) 
...
# nm /netbsd | grep c029a0f4
c029a0f4 T pccbbintr

pccbbintr() is handling the interrupt twice.  is this because there
are two cardbus slots?  is it a problem?  is it wasteful?

-- 
|-----< "CODE WARRIOR" >-----|
codewarrior@daemon.org             * "ah!  i see you have the internet
twofsonet@graffiti.com (Andrew Brown)                that goes *ping*!"
andrew@crossbar.com       * "information is power -- share the wealth."