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>
13 #include <linux/platform_device.h>
18 static void __iomem
*power_reg
;
20 static irqreturn_t
power_handler(int irq
, void *dev_id
)
22 orderly_poweroff(true);
24 /* FIXME: Check registers for status... */
28 static int has_button_interrupt(unsigned int irq
, struct device_node
*dp
)
30 if (irq
== 0xffffffff)
32 if (!of_property_read_bool(dp
, "button"))
38 static int power_probe(struct platform_device
*op
)
40 struct resource
*res
= &op
->resource
[0];
41 unsigned int irq
= op
->archdata
.irqs
[0];
43 power_reg
= of_ioremap(res
, 0, 0x4, "power");
45 printk(KERN_INFO
"%pOFn: Control reg at %llx\n",
46 op
->dev
.of_node
, res
->start
);
48 if (has_button_interrupt(irq
, op
->dev
.of_node
)) {
50 power_handler
, 0, "power", NULL
) < 0)
51 printk(KERN_ERR
"power: Cannot setup IRQ handler.\n");
57 static const struct of_device_id power_match
[] = {
64 static struct platform_driver power_driver
= {
68 .of_match_table
= power_match
,
72 builtin_platform_driver(power_driver
);