genode/repos/base/include/rm_session/rm_session.h

61 lines
1.4 KiB
C
Raw Normal View History

2011-12-22 15:19:25 +00:00
/*
* \brief Region-map session interface
2011-12-22 15:19:25 +00:00
* \author Norman Feske
* \date 2016-04-15
2011-12-22 15:19:25 +00:00
*/
/*
* Copyright (C) 2016-2017 Genode Labs GmbH
2011-12-22 15:19:25 +00:00
*
* This file is part of the Genode OS framework, which is distributed
* under the terms of the GNU Affero General Public License version 3.
2011-12-22 15:19:25 +00:00
*/
#ifndef _INCLUDE__RM_SESSION__RM_SESSION_H_
#define _INCLUDE__RM_SESSION__RM_SESSION_H_
#include <region_map/region_map.h>
2011-12-22 15:19:25 +00:00
#include <session/session.h>
namespace Genode { struct Rm_session; }
struct Genode::Rm_session : Session
{
static const char *service_name() { return "RM"; }
/*
* An RM session consumes a dataspace capability for the session-object
* allocation and its session capability.
*/
enum { CAP_QUOTA = 2 };
/**
* Create region map
*
* \param size upper bound of region map
* \return region-map capability
* \throw Out_of_ram
* \throw Out_of_caps
*/
virtual Capability<Region_map> create(size_t size) = 0;
/**
* Destroy region map
*/
virtual void destroy(Capability<Region_map>) = 0;
/*********************
** RPC declaration **
*********************/
GENODE_RPC_THROW(Rpc_create, Capability<Region_map>, create,
GENODE_TYPE_LIST(Out_of_ram, Out_of_caps), size_t);
GENODE_RPC(Rpc_destroy, void, destroy, Capability<Region_map>);
GENODE_RPC_INTERFACE(Rpc_create, Rpc_destroy);
};
2011-12-22 15:19:25 +00:00
#endif /* _INCLUDE__RM_SESSION__RM_SESSION_H_ */