1/* SPDX-License-Identifier: GPL-2.0-only */
 2/*
 3 *  Dell WMI descriptor driver
 4 *
 5 *  Copyright (c) 2017 Dell Inc.
 6 */
 7
 8#ifndef _DELL_WMI_DESCRIPTOR_H_
 9#define _DELL_WMI_DESCRIPTOR_H_
10
11#include <linux/wmi.h>
12
13/* possible return values:
14 *  -ENODEV: Descriptor GUID missing from WMI bus
15 *  -EPROBE_DEFER: probing for dell-wmi-descriptor not yet run
16 *  0: valid descriptor, successfully probed
17 *  < 0: invalid descriptor, don't probe dependent devices
18 */
19int dell_wmi_get_descriptor_valid(void);
20
21bool dell_wmi_get_interface_version(u32 *version);
22bool dell_wmi_get_size(u32 *size);
23bool dell_wmi_get_hotfix(u32 *hotfix);
24
25#endif