// 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,
};
