/*
 * Copyright (c) 2017 Jiri Svoboda
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 * - Redistributions of source code must retain the above copyright
 *   notice, this list of conditions and the following disclaimer.
 * - 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.
 * - The name of the author may not be used to endorse or promote products
 *   derived from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``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 AUTHOR 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.
 */

/** @addtogroup genarch
 * @{
 */
/** @file IntegratorCP Interrupt Controller driver
 */

#include <ddf/driver.h>
#include <ddf/log.h>
#include <device/hw_res_parsed.h>
#include <errno.h>
#include <stdio.h>

#include "icp-ic.h"

#define NAME  "icp-ic"

static int icpic_dev_add(ddf_dev_t *dev);
static int icpic_dev_remove(ddf_dev_t *dev);
static int icpic_dev_gone(ddf_dev_t *dev);
static int icpic_fun_online(ddf_fun_t *fun);
static int icpic_fun_offline(ddf_fun_t *fun);

static driver_ops_t driver_ops = {
	.dev_add = icpic_dev_add,
	.dev_remove = icpic_dev_remove,
	.dev_gone = icpic_dev_gone,
	.fun_online = icpic_fun_online,
	.fun_offline = icpic_fun_offline
};

static driver_t icpic_driver = {
	.name = NAME,
	.driver_ops = &driver_ops
};

static int icpic_get_res(ddf_dev_t *dev, icpic_res_t *res)
{
	async_sess_t *parent_sess;
	hw_res_list_parsed_t hw_res;
	int rc;

	parent_sess = ddf_dev_parent_sess_get(dev);
	if (parent_sess == NULL)
		return ENOMEM;

	hw_res_list_parsed_init(&hw_res);
	rc = hw_res_get_list_parsed(parent_sess, &hw_res, 0);
	if (rc != EOK)
		return rc;

	if (hw_res.mem_ranges.count != 1) {
		rc = EINVAL;
		goto error;
	}

	res->base = RNGABS(hw_res.mem_ranges.ranges[0]);

	return EOK;
error:
	hw_res_list_parsed_clean(&hw_res);
	return rc;
}

static int icpic_dev_add(ddf_dev_t *dev)
{
	icpic_t *icpic;
	icpic_res_t icpic_res;
	int rc;

        ddf_msg(LVL_DEBUG, "icpic_dev_add(%p)", dev);
	icpic = ddf_dev_data_alloc(dev, sizeof(icpic_t));
	if (icpic == NULL) {
		ddf_msg(LVL_ERROR, "Failed allocating soft state.");
		return ENOMEM;
	}

	icpic->dev = dev;

	rc = icpic_get_res(dev, &icpic_res);
	if (rc != EOK) {
		ddf_msg(LVL_ERROR, "Failed getting hardware resource list.\n");
		return EIO;
	}

	return icpic_add(icpic, &icpic_res);
}

static int icpic_dev_remove(ddf_dev_t *dev)
{
        icpic_t *icpic = (icpic_t *)ddf_dev_data_get(dev);

        ddf_msg(LVL_DEBUG, "icpic_dev_remove(%p)", dev);

        return icpic_remove(icpic);
}

static int icpic_dev_gone(ddf_dev_t *dev)
{
        icpic_t *icpic = (icpic_t *)ddf_dev_data_get(dev);

        ddf_msg(LVL_DEBUG, "icpic_dev_gone(%p)", dev);

        return icpic_gone(icpic);
}

static int icpic_fun_online(ddf_fun_t *fun)
{
        ddf_msg(LVL_DEBUG, "icpic_fun_online()");
        return ddf_fun_online(fun);
}

static int icpic_fun_offline(ddf_fun_t *fun)
{
        ddf_msg(LVL_DEBUG, "icpic_fun_offline()");
        return ddf_fun_offline(fun);
}

int main(int argc, char *argv[])
{
	printf(NAME ": IntegratorCP Interrupt Controller driver\n");
	ddf_log_init(NAME);
	return ddf_driver_main(&icpic_driver);
}

/** @}
 */