/*-
 * Copyright (c) 2013 The NetBSD Foundation, Inc.
 * All rights reserved.
 *
 * This code is derived from software contributed to The NetBSD Foundation
 * by Matt Thomas of 3am Software Foundry.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 *
 * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
 * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
 * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 * POSSIBILITY OF SUCH DAMAGE.
 */

#include "locators.h"
#include "opt_allwinner.h"
#include "awin_wdt.h"

#include <sys/cdefs.h>

__KERNEL_RCSID(1, "$NetBSD: awin_wdt.c,v 1.9 2015/06/14 08:32:02 martin Exp $");

#include <sys/param.h>
#include <sys/bus.h>
#include <sys/device.h>
#include <sys/intr.h>
#include <sys/systm.h>
#include <sys/proc.h>
#include <sys/wdog.h>

#include <dev/sysmon/sysmonvar.h>

#include <arm/locore.h>

#include <arm/allwinner/awin_reg.h>
#include <arm/allwinner/awin_var.h>

#if NAWIN_WDT > 0
static int awin_wdt_match(device_t, cfdata_t, void *);
static void awin_wdt_attach(device_t, device_t, void *);

#ifndef AWIN_WDT_PERIOD_DEFAULT
#define AWIN_WDT_PERIOD_DEFAULT  10
#endif

static const uint8_t period_map[] = {
	[0] = __SHIFTIN(AWIN_WDOG_MODE_INTV_1SEC, AWIN_WDOG_MODE_INTV),
	[1] = __SHIFTIN(AWIN_WDOG_MODE_INTV_1SEC, AWIN_WDOG_MODE_INTV),
	[2] = __SHIFTIN(AWIN_WDOG_MODE_INTV_2SEC, AWIN_WDOG_MODE_INTV),
	[3] = __SHIFTIN(AWIN_WDOG_MODE_INTV_3SEC, AWIN_WDOG_MODE_INTV),
	[4] = __SHIFTIN(AWIN_WDOG_MODE_INTV_4SEC, AWIN_WDOG_MODE_INTV),
	[5] = __SHIFTIN(AWIN_WDOG_MODE_INTV_5SEC, AWIN_WDOG_MODE_INTV),
	[6] = __SHIFTIN(AWIN_WDOG_MODE_INTV_6SEC, AWIN_WDOG_MODE_INTV),
	[7] = __SHIFTIN(AWIN_WDOG_MODE_INTV_8SEC, AWIN_WDOG_MODE_INTV),
	[8] = __SHIFTIN(AWIN_WDOG_MODE_INTV_8SEC, AWIN_WDOG_MODE_INTV),
	[9] = __SHIFTIN(AWIN_WDOG_MODE_INTV_10SEC, AWIN_WDOG_MODE_INTV),
	[10] = __SHIFTIN(AWIN_WDOG_MODE_INTV_10SEC, AWIN_WDOG_MODE_INTV),
	[11] = __SHIFTIN(AWIN_WDOG_MODE_INTV_12SEC, AWIN_WDOG_MODE_INTV),
	[12] = __SHIFTIN(AWIN_WDOG_MODE_INTV_12SEC, AWIN_WDOG_MODE_INTV),
	[13] = __SHIFTIN(AWIN_WDOG_MODE_INTV_14SEC, AWIN_WDOG_MODE_INTV),
	[14] = __SHIFTIN(AWIN_WDOG_MODE_INTV_14SEC, AWIN_WDOG_MODE_INTV),
	[15] = __SHIFTIN(AWIN_WDOG_MODE_INTV_16SEC, AWIN_WDOG_MODE_INTV),
	[16] = __SHIFTIN(AWIN_WDOG_MODE_INTV_16SEC, AWIN_WDOG_MODE_INTV),
};

static const uint8_t period_map_a31[] = {
	[0] = __SHIFTIN(AWIN_WDOG_MODE_INTV_1SEC, AWIN_A31_WDOG_MODE_INTV),
	[1] = __SHIFTIN(AWIN_WDOG_MODE_INTV_1SEC, AWIN_A31_WDOG_MODE_INTV),
	[2] = __SHIFTIN(AWIN_WDOG_MODE_INTV_2SEC, AWIN_A31_WDOG_MODE_INTV),
	[3] = __SHIFTIN(AWIN_WDOG_MODE_INTV_3SEC, AWIN_A31_WDOG_MODE_INTV),
	[4] = __SHIFTIN(AWIN_WDOG_MODE_INTV_4SEC, AWIN_A31_WDOG_MODE_INTV),
	[5] = __SHIFTIN(AWIN_WDOG_MODE_INTV_5SEC, AWIN_A31_WDOG_MODE_INTV),
	[6] = __SHIFTIN(AWIN_WDOG_MODE_INTV_6SEC, AWIN_A31_WDOG_MODE_INTV),
	[7] = __SHIFTIN(AWIN_WDOG_MODE_INTV_8SEC, AWIN_A31_WDOG_MODE_INTV),
	[8] = __SHIFTIN(AWIN_WDOG_MODE_INTV_8SEC, AWIN_A31_WDOG_MODE_INTV),
	[9] = __SHIFTIN(AWIN_WDOG_MODE_INTV_10SEC, AWIN_A31_WDOG_MODE_INTV),
	[10] = __SHIFTIN(AWIN_WDOG_MODE_INTV_10SEC, AWIN_A31_WDOG_MODE_INTV),
	[11] = __SHIFTIN(AWIN_WDOG_MODE_INTV_12SEC, AWIN_A31_WDOG_MODE_INTV),
	[12] = __SHIFTIN(AWIN_WDOG_MODE_INTV_12SEC, AWIN_A31_WDOG_MODE_INTV),
	[13] = __SHIFTIN(AWIN_WDOG_MODE_INTV_14SEC, AWIN_A31_WDOG_MODE_INTV),
	[14] = __SHIFTIN(AWIN_WDOG_MODE_INTV_14SEC, AWIN_A31_WDOG_MODE_INTV),
	[15] = __SHIFTIN(AWIN_WDOG_MODE_INTV_16SEC, AWIN_A31_WDOG_MODE_INTV),
	[16] = __SHIFTIN(AWIN_WDOG_MODE_INTV_16SEC, AWIN_A31_WDOG_MODE_INTV),
};

static struct awin_wdt_softc {
	device_t sc_dev;
	bus_space_tag_t sc_bst;
	bus_space_handle_t sc_bsh;
	struct sysmon_wdog sc_smw;
        u_int sc_wdog_period;
        bool sc_wdog_armed;
	uint32_t sc_wdog_mode;
	bus_size_t sc_ctrl_reg;
	bus_size_t sc_mode_reg;
} awin_wdt_sc = {
	.sc_bst = &armv7_generic_bs_tag,
	.sc_wdog_period = AWIN_WDT_PERIOD_DEFAULT,
};

static int
awin_wdt_tickle(struct sysmon_wdog *smw)
{
	struct awin_wdt_softc * const sc = smw->smw_cookie;

	bus_space_write_4(sc->sc_bst, sc->sc_bsh, sc->sc_ctrl_reg,
	    __SHIFTIN(AWIN_WDOG_CTRL_KEY_MAGIC, AWIN_WDOG_CTRL_KEY) |
	    AWIN_WDOG_CTRL_RSTART);

	return 0;
}

static int
awin_wdt_setmode(struct sysmon_wdog *smw)
{
	struct awin_wdt_softc * const sc = smw->smw_cookie;
	const uint8_t *map;
	size_t mapsize;

	switch (awin_chip_id()) {
	case AWIN_CHIP_ID_A31:
	case AWIN_CHIP_ID_A80:
		map = period_map_a31;
		mapsize = __arraycount(period_map_a31);
		break;
	default:
		map = period_map;
		mapsize = __arraycount(period_map);
		break;
	}

	if ((smw->smw_mode & WDOG_MODE_MASK) == WDOG_MODE_DISARMED) {
		if (sc->sc_wdog_armed)
			/* can not disarm pre-armed kernel mode wdog */
			return EBUSY;

		bus_space_write_4(sc->sc_bst, sc->sc_bsh, sc->sc_mode_reg, 0);
		return 0;
	}

	if (sc->sc_wdog_armed && smw->smw_period == sc->sc_wdog_period) {
		if (awin_chip_id() == AWIN_CHIP_ID_A31 ||
		    awin_chip_id() == AWIN_CHIP_ID_A80) {
			bus_space_write_4(sc->sc_bst, sc->sc_bsh,
			    AWIN_A31_WDOG1_CFG_REG,
			    __SHIFTIN(AWIN_A31_WDOG_CFG_CONFIG_SYS,
				      AWIN_A31_WDOG_CFG_CONFIG));
		}
		bus_space_write_4(sc->sc_bst, sc->sc_bsh, sc->sc_mode_reg,
		    sc->sc_wdog_mode);
		awin_wdt_tickle(smw);
		return 0;
	}
	if (smw->smw_period == WDOG_PERIOD_DEFAULT) {
		smw->smw_period = AWIN_WDT_PERIOD_DEFAULT;
		sc->sc_wdog_period = AWIN_WDT_PERIOD_DEFAULT;
	} else {
		if (smw->smw_period > mapsize) {
			return EINVAL;
		}
		sc->sc_wdog_period = smw->smw_period;
	}
	sc->sc_wdog_mode = AWIN_WDOG_MODE_EN | map[sc->sc_wdog_period];
	if (awin_chip_id() == AWIN_CHIP_ID_A20 ||
	    awin_chip_id() == AWIN_CHIP_ID_A10) {
 		sc->sc_wdog_mode |= AWIN_WDOG_MODE_RST_EN;
	}

	if (awin_chip_id() == AWIN_CHIP_ID_A31 ||
	    awin_chip_id() == AWIN_CHIP_ID_A80) {
		bus_space_write_4(sc->sc_bst, sc->sc_bsh,
		    AWIN_A31_WDOG1_CFG_REG,
		    __SHIFTIN(AWIN_A31_WDOG_CFG_CONFIG_SYS,
			      AWIN_A31_WDOG_CFG_CONFIG));
	}
	bus_space_write_4(sc->sc_bst, sc->sc_bsh, sc->sc_mode_reg,
	    sc->sc_wdog_mode);
	awin_wdt_tickle(smw);
	return 0;
}

CFATTACH_DECL_NEW(awin_wdt, 0,
	awin_wdt_match, awin_wdt_attach, NULL, NULL);

static int
awin_wdt_match(device_t parent, cfdata_t cf, void *aux)
{
	struct awinio_attach_args * const aio = aux;
	const struct awin_locators * const loc = &aio->aio_loc;
	const int port = cf->cf_loc[AWINIOCF_PORT];

	if (awin_wdt_sc.sc_dev != NULL)
		return 0;

	if (strcmp(cf->cf_name, loc->loc_name)
	    || (port != AWINIOCF_PORT_DEFAULT && port != loc->loc_port))
		return 0;

	KASSERT(loc->loc_port == AWINIOCF_PORT_DEFAULT);

	return 1;
}

static void
awin_wdt_attach(device_t parent, device_t self, void *aux)
{
	struct awin_wdt_softc * const sc = &awin_wdt_sc;
	struct awinio_attach_args * const aio = aux;
	const struct awin_locators * const loc = &aio->aio_loc;

	sc->sc_dev = self;
	sc->sc_wdog_armed = (device_cfdata(self)->cf_flags & 1) != 0;

	switch (awin_chip_id()) {
	case AWIN_CHIP_ID_A31:
	case AWIN_CHIP_ID_A80:
		sc->sc_ctrl_reg = AWIN_A31_WDOG1_CTRL_REG;
		sc->sc_mode_reg = AWIN_A31_WDOG1_MODE_REG;
		break;
	default:
		sc->sc_ctrl_reg = AWIN_WDOG_CTRL_REG;
		sc->sc_mode_reg = AWIN_WDOG_MODE_REG;
		break;
	}

	sc->sc_bst = aio->aio_core_bst;
	bus_space_subregion(sc->sc_bst, aio->aio_core_bsh,
	    loc->loc_offset, loc->loc_size, &sc->sc_bsh);

	aprint_naive("\n");
	aprint_normal(": default period is %u seconds%s\n",
	    sc->sc_wdog_period,
	    sc->sc_wdog_armed ? " (wdog is active)" : "");

	sc->sc_smw.smw_name = device_xname(sc->sc_dev);
	sc->sc_smw.smw_cookie = sc;
	sc->sc_smw.smw_setmode = awin_wdt_setmode;
	sc->sc_smw.smw_tickle = awin_wdt_tickle;
	sc->sc_smw.smw_period = sc->sc_wdog_period;

	if (sysmon_wdog_register(&sc->sc_smw) != 0)
		aprint_error_dev(self, "unable to register with sysmon\n");

	if (sc->sc_wdog_armed) {
		int error = sysmon_wdog_setmode(&sc->sc_smw, WDOG_MODE_KTICKLE,
		    sc->sc_wdog_period);
		if (error)
			aprint_error_dev(self,
			    "failed to start kernel tickler: %d\n", error);
	}
}
#endif

void
awin_wdog_reset(void)
{
	bus_size_t off;
	bus_space_tag_t bst = &armv7_generic_bs_tag;

	cpsid(I32_bit|F32_bit);

	switch (awin_chip_id()) {
	case AWIN_CHIP_ID_A31:
	case AWIN_CHIP_ID_A80:
		off = awin_chip_id() == AWIN_CHIP_ID_A80 ?
		    AWIN_A80_TIMER_OFFSET : AWIN_TMR_OFFSET;
		bus_space_write_4(bst, awin_core_bsh,
		    off + AWIN_A31_WDOG1_CFG_REG,
		    __SHIFTIN(AWIN_A31_WDOG_CFG_CONFIG_SYS,
			      AWIN_A31_WDOG_CFG_CONFIG));
		bus_space_write_4(bst, awin_core_bsh,
		    off + AWIN_A31_WDOG1_MODE_REG,
		    AWIN_A31_WDOG_MODE_EN);
		break;
	default:
		bus_space_write_4(bst, awin_core_bsh,
		    AWIN_TMR_OFFSET + AWIN_WDOG_MODE_REG,
		    AWIN_WDOG_MODE_EN | AWIN_WDOG_MODE_RST_EN);
		break;
	}
	for (;;) {
		__asm("wfi");
	}
}