1 // SPDX-License-Identifier: GPL-2.0
2 /* power.c: Power management driver.
4 * Copyright (C) 1999, 2007, 2008 David S. Miller (davem@davemloft.net)
7 #include <linux/kernel.h>
8 #include <linux/export.h>
9 #include <linux/init.h>
10 #include <linux/interrupt.h>
11 #include <linux/reboot.h>
12 #include <linux/of_device.h>
17 static void __iomem
*power_reg
;
19 static irqreturn_t
power_handler(int irq
, void *dev_id
)
21 orderly_poweroff(true);
23 /* FIXME: Check registers for status... */
27 static int has_button_interrupt(unsigned int irq
, struct device_node
*dp
)
29 if (irq
== 0xffffffff)
31 if (!of_find_property(dp
, "button", NULL
))
37 static int power_probe(struct platform_device
*op
)
39 struct resource
*res
= &op
->resource
[0];
40 unsigned int irq
= op
->archdata
.irqs
[0];
42 power_reg
= of_ioremap(res
, 0, 0x4, "power");
44 printk(KERN_INFO
"%pOFn: Control reg at %llx\n",
45 op
->dev
.of_node
, res
->start
);
47 if (has_button_interrupt(irq
, op
->dev
.of_node
)) {
49 power_handler
, 0, "power", NULL
) < 0)
50 printk(KERN_ERR
"power: Cannot setup IRQ handler.\n");
56 static const struct of_device_id power_match
[] = {
63 static struct platform_driver power_driver
= {
67 .of_match_table
= power_match
,
71 builtin_platform_driver(power_driver
);