PNP PS/2 probing racy?

[Andi Kleen]

Hi,

I noticed that on one test system of machine when booting the same
kernel I get:

PNP: No PS/2 controller found. Probing ports directly.
serio: i8042 KBD port at 0x60,0x64 irq 1
serio: i8042 AUX port at 0x60,0x64 irq 12

and sometimes on another boot

PNP: PS/2 Controller [PNP0303:PS2K,PNP0f03:PS2M] at 0x60,0x64 irq 1,12

Since I presume the BIOS does not change, is it possible the Linux
procedure for this PNP probe is racy? I haven't checked the code so far.

Full boot logs for both cases:

http://halobates.de/config/dmesg-pnprace-1
http://halobates.de/config/dmesg-pnprace-2

-Andi
-- 
ak@xxxxxxxxxxxxxxx -- Speaking for myself only.
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/