1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * intel_tpmi.h: Intel TPMI core external interface
10 * struct intel_tpmi_plat_info - Platform information for a TPMI device instance
11 * @package_id: CPU Package id
12 * @bus_number: PCI bus number
13 * @device_number: PCI device number
14 * @function_number: PCI function number
16 * Structure to store platform data for a TPMI device instance. This
17 * struct is used to return data via tpmi_get_platform_data().
19 struct intel_tpmi_plat_info {
26 struct intel_tpmi_plat_info *tpmi_get_platform_data(struct auxiliary_device *auxdev);
27 struct resource *tpmi_get_resource_at_index(struct auxiliary_device *auxdev, int index);
28 int tpmi_get_resource_count(struct auxiliary_device *auxdev);