wmi_device
status_t (*evaluate_method)(wmi_device device, uint8 instance,
status_t (*install_event_handler)(wmi_device device,
status_t (*remove_event_handler)(wmi_device device,
status_t (*get_event_data)(wmi_device device, uint32 notify,
const char* (*get_uid)(wmi_device device);
wmi_device wmi_cookie;
wmi_evaluate_method(wmi_device _device, uint8 instance, uint32 methodId,
wmi_install_event_handler(wmi_device _device, const char* guidString,
wmi_remove_event_handler(wmi_device _device, const char* guidString)
wmi_get_event_data(wmi_device _device, uint32 notify, acpi_data* out)
wmi_get_uid(wmi_device _device)