// SPDX-License-Identifier: GPL-2.0
#ifndef AC71_LAPTOP_WMI_H
#define AC71_LAPTOP_WMI_H

/* ========================================================================== */
/* WMI methods */

/* AcpiTest_MULong */
#define AC71_WMI_WMBC_GUID       "ABBC0F6F-8EA1-11D1-00A0-C90629100000"
#define AC71_WMBC_GETSETULONG_ID 4

/* ========================================================================== */
/* WMI events */

/* AcpiTest_EventULong */
#define AC71_WMI_EVENT0_GUID     "ABBC0F72-8EA1-11D1-00A0-C90629100000"

/* AcpiTest_EventString */
#define AC71_WMI_EVENT1_GUID     "ABBC0F71-8EA1-11D1-00A0-C90629100000"

/* AcpiTest_EventPackage */
#define AC71_WMI_EVENT2_GUID     "ABBC0F70-8EA1-11D1-00A0-C90629100000"

#endif /* AC71_LAPTOP_WMI_H */