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

…