2011-12-22 15:19:25 +00:00
|
|
|
/*
|
|
|
|
* \brief Connection to PD service
|
|
|
|
* \author Norman Feske
|
|
|
|
* \date 2008-08-22
|
|
|
|
*/
|
|
|
|
|
|
|
|
/*
|
2017-02-20 12:23:52 +00:00
|
|
|
* Copyright (C) 2008-2017 Genode Labs GmbH
|
2011-12-22 15:19:25 +00:00
|
|
|
*
|
|
|
|
* This file is part of the Genode OS framework, which is distributed
|
2017-02-20 12:23:52 +00:00
|
|
|
* under the terms of the GNU Affero General Public License version 3.
|
2011-12-22 15:19:25 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef _INCLUDE__PD_SESSION__CONNECTION_H_
|
|
|
|
#define _INCLUDE__PD_SESSION__CONNECTION_H_
|
|
|
|
|
|
|
|
#include <pd_session/client.h>
|
|
|
|
#include <base/connection.h>
|
|
|
|
|
2015-03-04 20:12:14 +00:00
|
|
|
namespace Genode { struct Pd_connection; }
|
2011-12-22 15:19:25 +00:00
|
|
|
|
2015-03-04 20:12:14 +00:00
|
|
|
|
|
|
|
struct Genode::Pd_connection : Connection<Pd_session>, Pd_session_client
|
|
|
|
{
|
2017-05-11 18:03:28 +00:00
|
|
|
enum { RAM_QUOTA = 24*1024*sizeof(long)};
|
2017-08-23 09:02:12 +00:00
|
|
|
enum Virt_space { UNCONSTRAIN = 0, CONSTRAIN = 1 };
|
2015-05-05 06:50:16 +00:00
|
|
|
|
2015-03-04 20:12:14 +00:00
|
|
|
/**
|
|
|
|
* Constructor
|
|
|
|
*
|
|
|
|
* \param label session label
|
|
|
|
*/
|
2017-08-23 09:02:12 +00:00
|
|
|
Pd_connection(Env &env, char const *label = "", Virt_space space = CONSTRAIN)
|
2016-05-10 15:24:51 +00:00
|
|
|
:
|
|
|
|
Connection<Pd_session>(env, session(env.parent(),
|
2017-08-23 09:02:12 +00:00
|
|
|
"ram_quota=%u, cap_quota=%u, label=\"%s\", virt_space=%u",
|
|
|
|
RAM_QUOTA, CAP_QUOTA, label, space)),
|
2016-05-10 15:24:51 +00:00
|
|
|
Pd_session_client(cap())
|
|
|
|
{ }
|
2022-02-01 14:17:29 +00:00
|
|
|
|
|
|
|
struct Device_pd { };
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Constructor used for creating device protection domains
|
|
|
|
*/
|
|
|
|
Pd_connection(Env &env, Device_pd)
|
|
|
|
:
|
|
|
|
Connection<Pd_session>(env, session(env.parent(),
|
|
|
|
"ram_quota=%u, cap_quota=%u, "
|
|
|
|
"label=\"device PD\", virt_space=%u, "
|
|
|
|
"managing_system=yes",
|
|
|
|
RAM_QUOTA, CAP_QUOTA, UNCONSTRAIN)),
|
|
|
|
Pd_session_client(cap())
|
|
|
|
{ }
|
2015-03-04 20:12:14 +00:00
|
|
|
};
|
2011-12-22 15:19:25 +00:00
|
|
|
|
|
|
|
#endif /* _INCLUDE__PD_SESSION__CONNECTION_H_ */
|