John Baldwin a11df0cbe6 Only use the BIOS-supplied IRQ for the atkbdc device for a child atkbd ... device. Specifically, do not reuse it for a child psm device. Tested by: many		2010-12-21 12:49:37 +00:00
..
atkbd_atkbdc.c
atkbd.c
atkbdc_ebus.c
atkbdc_isa.c
atkbdc_subr.c
atkbdc_subr.h
atkbdc.c
atkbdcreg.h
atkbdreg.h
psm.c
psm.h