| // SPDX-License-Identifier: GPL-2.0+ |
| /* |
| * Cadence Tensilica xtfpga system reset driver. |
| * |
| * (C) Copyright 2016 Cadence Design Systems Inc. |
| */ |
| |
| #include <common.h> |
| #include <dm.h> |
| #include <errno.h> |
| #include <sysreset.h> |
| #include <asm/io.h> |
| |
| static int xtfpga_reset_request(struct udevice *dev, enum sysreset_t type) |
| { |
| switch (type) { |
| case SYSRESET_COLD: |
| writel(CFG_SYS_FPGAREG_RESET_CODE, |
| CFG_SYS_FPGAREG_RESET); |
| break; |
| default: |
| return -EPROTONOSUPPORT; |
| } |
| |
| return -EINPROGRESS; |
| } |
| |
| static struct sysreset_ops xtfpga_sysreset_ops = { |
| .request = xtfpga_reset_request, |
| }; |
| |
| U_BOOT_DRIVER(xtfpga_sysreset) = { |
| .name = "xtfpga_sysreset", |
| .id = UCLASS_SYSRESET, |
| .ops = &xtfpga_sysreset_ops, |
| }; |