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	- If the atkbdc device is assigned an IRQ resource by ACPI or the PnPBIOS,	2010-12-16 17:14:37 +00:00
atkbd.c	Rewrite x86bios and update its dependent drivers.	2009-10-19 20:58:10 +00:00
atkbdc_ebus.c	On certain chipsets AT keyboard controller isn't present and is	2010-04-29 06:16:00 +00:00
atkbdc_isa.c	Only use the BIOS-supplied IRQ for the atkbdc device for a child atkbd	2010-12-21 12:49:37 +00:00
atkbdc_subr.c
atkbdc_subr.h
atkbdc.c	Merge amd64 and i386 bus.h and move the resulting header to x86. Replace	2010-12-20 16:39:43 +00:00
atkbdcreg.h	- If the atkbdc device is assigned an IRQ resource by ACPI or the PnPBIOS,	2010-12-16 17:14:37 +00:00
atkbdreg.h
psm.c	- When moving the IRQ resource from the psmcpnp device to the psm device,	2010-12-16 17:08:43 +00:00
psm.h