On Tue, 10 Jun 2025 07:55:25 +0200, Armin Wolf wrote: > The WMI driver core might append an ID to the WMI device name to avoid > name collisions in case multiple WMI devices with the same GUID are > present. Update all sysfs path referring to WMI devices to inform > users about this important detail. > > Thank you for your contribution, it has been applied to my local review-ilpo-next branch. Note it will show up in the public platform-drivers-x86/review-ilpo-next branch only once I've pushed my local branch there, which might take a while. The list of commits applied: [1/2] Documentation: ABI: Update WMI device paths in ABI docs commit: c9de2e5c15cba9e9be7fd124a74b9067560d4746 [2/2] platform/x86: wmi: Fix WMI device naming issue commit: 73f0f2b52c5ea67b3140b23f58d8079d158839c8 -- i.