#include <linux/init.h>
#include <linux/interrupt.h>
#include <linux/platform_device.h>
#include <linux/platform_data/intel-mid_wdt.h>
#include <asm/cpu_device_id.h>
#include <asm/intel-family.h>
#include <asm/io_apic.h>
#include <asm/hw_irq.h>
#define TANGIER_EXT_TIMER0_MSI …
static struct platform_device wdt_dev = …;
static int tangier_probe(struct platform_device *pdev)
{ … }
static struct intel_mid_wdt_pdata tangier_pdata = …;
static const struct x86_cpu_id intel_mid_cpu_ids[] = …;
static int __init register_mid_wdt(void)
{ … }
arch_initcall(register_mid_wdt);
static void __exit unregister_mid_wdt(void)
{ … }
__exitcall(…);