linux/drivers/reset/reset-raspberrypi.c

// SPDX-License-Identifier: GPL-2.0
/*
 * Raspberry Pi 4 firmware reset driver
 *
 * Copyright (C) 2020 Nicolas Saenz Julienne <[email protected]>
 */
#include <linux/delay.h>
#include <linux/device.h>
#include <linux/module.h>
#include <linux/of.h>
#include <linux/platform_device.h>
#include <linux/reset-controller.h>
#include <soc/bcm2835/raspberrypi-firmware.h>
#include <dt-bindings/reset/raspberrypi,firmware-reset.h>

struct rpi_reset { … };

static inline struct rpi_reset *to_rpi(struct reset_controller_dev *rcdev)
{ … }

static int rpi_reset_reset(struct reset_controller_dev *rcdev, unsigned long id)
{ … }

static const struct reset_control_ops rpi_reset_ops = …;

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

static const struct of_device_id rpi_reset_of_match[] = …;
MODULE_DEVICE_TABLE(of, rpi_reset_of_match);

static struct platform_driver rpi_reset_driver = …;
module_platform_driver(…) …;

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