On Tuesday 05 February 2008 07:03:23 pm Carlos Corbacho wrote: > On Wednesday 06 February 2008 00:35:54 Bjorn Helgaas wrote: > > > Ok. The only other vendors I really have in mind are HP and Fujitsu, > > > since both those vendors use WMI on their laptops, so they would be my > > > most likely candidates to have WMI on an IA64 box (if anyone actually > > > does use WMI on IA64). > > > > How could I tell whether our HP systems use WMI? > > Do you have any PNP0C14 or *pnp0c14 _HID objects defined in the DSDTs for your > systems? If not, then your systems don't use WMI. I looked at DSDTs for a few HP ia64 systems (rx7620, rx8640, and superdome), and none has a PNP0C14 object. - To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html