1 // SPDX-License-Identifier: GPL-2.0
3 * Copyright (C) 2019 Pepperl+Fuchs
4 * Simon Goldschmidt <simon.k.r.goldschmidt@gmail.com>
11 #include <asm/arch/mailbox_s10.h>
13 static int socfpga_sysreset_request(struct udevice *dev,
16 puts("Mailbox: Issuing mailbox cmd REBOOT_HPS\n");
21 static struct sysreset_ops socfpga_sysreset = {
22 .request = socfpga_sysreset_request,
25 U_BOOT_DRIVER(sysreset_socfpga) = {
26 .id = UCLASS_SYSRESET,
27 .name = "socfpga_sysreset",
28 .ops = &socfpga_sysreset,