linux/drivers/power/reset/gpio-restart.c

// SPDX-License-Identifier: GPL-2.0-only
/*
 * Toggles a GPIO pin to restart a device
 *
 * Copyright (C) 2014 Google, Inc.
 *
 * Based on the gpio-poweroff driver.
 */
#include <linux/reboot.h>
#include <linux/kernel.h>
#include <linux/init.h>
#include <linux/delay.h>
#include <linux/platform_device.h>
#include <linux/gpio/consumer.h>
#include <linux/module.h>
#include <linux/of.h>

struct gpio_restart { … };

static int gpio_restart_notify(struct sys_off_data *data)
{ … }

static int gpio_restart_probe(struct platform_device *pdev)
{ … }

static const struct of_device_id of_gpio_restart_match[] = …;

static struct platform_driver gpio_restart_driver = …;

module_platform_driver(…) …;

MODULE_AUTHOR(…) …;
MODULE_DESCRIPTION(…) …;