/* SPDX-License-Identifier: GPL-2.0 */
#ifndef LINUX_DEVICE_ID_PLATFORM_H
#define LINUX_DEVICE_ID_PLATFORM_H

#ifdef __KERNEL__
typedef unsigned long kernel_ulong_t;
#endif

#define PLATFORM_NAME_SIZE      24
#define PLATFORM_MODULE_PREFIX  "platform:"

struct platform_device_id {
        char name[PLATFORM_NAME_SIZE];
        kernel_ulong_t driver_data;
};

#endif /* ifndef LINUX_DEVICE_ID_PLATFORM_H */