Xin LI 97ae66672f Add comments about the validation.

2011-06-11 01:19:19 +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

Add comments about the validation.

2011-06-11 01:19:19 +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

Revert r222152. The root cause was analysed and better fix is upcoming.

2011-06-06 22:18:40 +00:00

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

…