Eee PC WMI hotkeys?

[Tom Horsley]

Anyone know why the heck this shows up in the
/proc/bus/input/devices file on my system?

I: Bus=0019 Vendor=0000 Product=0000 Version=0000
N: Name="Eee PC WMI hotkeys"
P: Phys=eeepc-wmi/input0
S: Sysfs=/devices/platform/eeepc-wmi/input/input4
U: Uniq=
H: Handlers=kbd event4 rfkill 
B: PROP=0
B: EV=100013
B: KEY=7e40000 0 0 0 0 11400800100000 300080001100000 e000000000000 0
B: MSC=10

I certainly don't have an Eee PC.

Just curious...