#include <linux/err.h>
#include <linux/init.h>
#include <linux/interrupt.h>
#include <linux/list.h>
#include <linux/platform_device.h>
#include <linux/acpi.h>
#define MODULE_NAME …
struct acpi_ged_device { … };
struct acpi_ged_event { … };
static irqreturn_t acpi_ged_irq_handler(int irq, void *data)
{ … }
static acpi_status acpi_ged_request_interrupt(struct acpi_resource *ares,
void *context)
{ … }
static int ged_probe(struct platform_device *pdev)
{ … }
static void ged_shutdown(struct platform_device *pdev)
{ … }
static void ged_remove(struct platform_device *pdev)
{ … }
static const struct acpi_device_id ged_acpi_ids[] = …;
static struct platform_driver ged_driver = …;
builtin_platform_driver(…) …;