mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 14:13:09 +00:00
ca971bbfd8
This patch changes the top-level directory layout as a preparatory step for improving the tools for managing 3rd-party source codes. The rationale is described in the issue referenced below. Issue #1082
112 lines
2.7 KiB
C++
112 lines
2.7 KiB
C++
/*
|
|
* \brief Regulator-session component
|
|
* \author Stefan Kalkowski
|
|
* \date 2013-06-13
|
|
*/
|
|
|
|
/*
|
|
* Copyright (C) 2013 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 _INCLUDE__REGULATOR__COMPONENT_H_
|
|
#define _INCLUDE__REGULATOR__COMPONENT_H_
|
|
|
|
#include <root/component.h>
|
|
#include <regulator_session/rpc_object.h>
|
|
#include <regulator/driver.h>
|
|
|
|
|
|
namespace Regulator {
|
|
class Session_component;
|
|
class Root;
|
|
}
|
|
|
|
|
|
class Regulator::Session_component : public Regulator::Session_rpc_object
|
|
{
|
|
private:
|
|
|
|
Driver_factory &_driver_factory;
|
|
Driver &_driver;
|
|
|
|
public:
|
|
|
|
/**
|
|
* Constructor
|
|
*/
|
|
Session_component(Regulator_id regulator_id,
|
|
Driver_factory &driver_factory)
|
|
: Session_rpc_object(regulator_id),
|
|
_driver_factory(driver_factory),
|
|
_driver(_driver_factory.create(regulator_id)) { }
|
|
|
|
/**
|
|
* Destructor
|
|
*/
|
|
~Session_component()
|
|
{
|
|
_driver.state(_id, false);
|
|
_driver_factory.destroy(_driver);
|
|
}
|
|
|
|
|
|
/***********************************
|
|
** Regulator session interface **
|
|
***********************************/
|
|
|
|
void level(unsigned long level) { _driver.level(_id, level); }
|
|
unsigned long level() { return _driver.level(_id); }
|
|
void state(bool enable) { _driver.state(_id, enable); }
|
|
bool state() { return _driver.state(_id); }
|
|
};
|
|
|
|
|
|
class Regulator::Root :
|
|
public Genode::Root_component<Regulator::Session_component>
|
|
{
|
|
private:
|
|
|
|
Driver_factory &_driver_factory;
|
|
Genode::Rpc_entrypoint &_ep;
|
|
|
|
protected:
|
|
|
|
Session_component *_create_session(const char *args)
|
|
{
|
|
using namespace Genode;
|
|
|
|
char reg_name[64];
|
|
Arg_string::find_arg(args, "regulator").string(reg_name,
|
|
sizeof(reg_name), 0);
|
|
size_t ram_quota =
|
|
Arg_string::find_arg(args, "ram_quota").ulong_value(0);
|
|
|
|
/* delete ram quota by the memory needed for the session */
|
|
size_t session_size = max((size_t)4096,
|
|
sizeof(Session_component));
|
|
if (ram_quota < session_size)
|
|
throw Root::Quota_exceeded();
|
|
|
|
if (!strlen(reg_name))
|
|
throw Root::Invalid_args();
|
|
|
|
return new (md_alloc())
|
|
Session_component(regulator_id_by_name(reg_name),
|
|
_driver_factory);
|
|
}
|
|
|
|
public:
|
|
|
|
Root(Genode::Rpc_entrypoint *session_ep,
|
|
Genode::Allocator *md_alloc,
|
|
Driver_factory &driver_factory)
|
|
: Genode::Root_component<Regulator::Session_component>(session_ep,
|
|
md_alloc),
|
|
_driver_factory(driver_factory), _ep(*session_ep) { }
|
|
};
|
|
|
|
#endif /* _INCLUDE__REGULATOR__COMPONENT_H_ */
|