1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef LINUX_DEVICE_ID_COREBOOT_H 3 #define LINUX_DEVICE_ID_COREBOOT_H 4 5 #ifdef __KERNEL__ 6 #include <linux/types.h> 7 typedef unsigned long kernel_ulong_t; 8 #endif 9 10 /** 11 * struct coreboot_device_id - Identifies a coreboot table entry 12 * @tag: tag ID 13 * @driver_data: driver specific data 14 */ 15 struct coreboot_device_id { 16 __u32 tag; 17 kernel_ulong_t driver_data; 18 }; 19 20 #endif /* ifndef LINUX_DEVICE_ID_COREBOOT_H */ 21