/*
 * \brief  Input-interrupt handler
 * \author Norman Feske
 * \date   2007-10-08
 */

/*
 * Copyright (C) 2007-2015 Genode Labs GmbH
 *
 * This file is part of the Genode OS framework, which is distributed
 * under the terms of the GNU General Public License version 2.
 */

#ifndef _IRQ_HANDLER_H_
#define _IRQ_HANDLER_H_

/* Genode includes */
#include <irq_session/connection.h>
#include <os/server.h>

/* local includes */
#include "input_driver.h"
#include "serial_interface.h"

class Irq_handler
{
	private:

		Genode::Irq_connection                  _irq;
		Genode::Signal_rpc_member<Irq_handler>  _dispatcher;
		Serial_interface                       *_channel;
		Input_driver                           &_input_driver;

		void _handle(unsigned)
		{
			_irq.ack_irq();

#ifdef __CODEZERO__
			/*
			 * (Re-)enable device interrupt because Codezero tends to
			 * disable it in its IRQ handler.
			 */
			_channel->enable_irq();
#endif

			/* check for pending PS/2 input */
			while (_input_driver.event_pending())
				_input_driver.handle_event();
		}

	public:

		Irq_handler(Server::Entrypoint &ep,
		            int irq_number, Serial_interface *channel,
		            Input_driver &input_driver)
		:
			_irq(irq_number),
			_dispatcher(ep, *this, &Irq_handler::_handle),
			_channel(channel),
			_input_driver(input_driver)
		{
			_irq.sigh(_dispatcher);
			_irq.ack_irq();
		}
};

#endif /* _IRQ_HANDLER_H_ */