1 // SPDX-License-Identifier: GPL-2.0
2 /* power.c: Power management driver.
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);