44 lines
1.0 KiB
C
44 lines
1.0 KiB
C
/*
|
|
* Copyright 2020, Haiku, Inc. All Rights Reserved.
|
|
* Distributed under the terms of the MIT License.
|
|
*/
|
|
#ifndef _WMI_H_
|
|
#define _WMI_H_
|
|
|
|
|
|
#include <ACPI.h>
|
|
#include <device_manager.h>
|
|
#include <KernelExport.h>
|
|
|
|
|
|
|
|
// Device node
|
|
|
|
// guid (string)
|
|
#define WMI_GUID_STRING_ITEM "wmi/guid_string"
|
|
|
|
// node type
|
|
#define WMI_DEVICE_TYPE_NAME "wmi/device/v1"
|
|
|
|
// device cookie, issued by wmi bus manager
|
|
typedef void* wmi_device;
|
|
|
|
|
|
// bus manager device interface for peripheral driver
|
|
typedef struct {
|
|
driver_module_info info;
|
|
|
|
status_t (*evaluate_method)(wmi_device device, uint8 instance,
|
|
uint32 methodId, const acpi_data* in, acpi_data* out);
|
|
status_t (*install_event_handler)(wmi_device device,
|
|
const char* guidString, acpi_notify_handler handler, void* context);
|
|
status_t (*remove_event_handler)(wmi_device device,
|
|
const char* guidString);
|
|
status_t (*get_event_data)(wmi_device device, uint32 notify,
|
|
acpi_data* out);
|
|
const char* (*get_uid)(wmi_device device);
|
|
} wmi_device_interface;
|
|
|
|
|
|
#endif /* _WMI_H_ */
|