/
connection.h
48 lines (38 loc) · 1.24 KB
/
connection.h
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
/*
* \brief Connection to PD service
* \author Norman Feske
* \date 2008-08-22
*/
/*
* Copyright (C) 2008-2023 Genode Labs GmbH
*
* This file is part of the Genode OS framework, which is distributed
* under the terms of the GNU Affero General Public License version 3.
*/
#ifndef _INCLUDE__PD_SESSION__CONNECTION_H_
#define _INCLUDE__PD_SESSION__CONNECTION_H_
#include <pd_session/client.h>
#include <base/connection.h>
namespace Genode { struct Pd_connection; }
struct Genode::Pd_connection : Connection<Pd_session>, Pd_session_client
{
enum Virt_space { UNCONSTRAIN = 0, CONSTRAIN = 1 };
Pd_connection(Env &env, Label const &label = Label(), Virt_space space = CONSTRAIN)
:
Connection<Pd_session>(env, label, Ram_quota { RAM_QUOTA },
Args("virt_space=", unsigned(space))),
Pd_session_client(cap())
{ }
struct Device_pd { };
/**
* Constructor used for creating device protection domains
*/
Pd_connection(Env &env, Device_pd)
:
Connection<Pd_session>(env, "device PD", Ram_quota { RAM_QUOTA },
Args("virt_space=", unsigned(UNCONSTRAIN), ", "
"managing_system=yes")),
Pd_session_client(cap())
{ }
};
#endif /* _INCLUDE__PD_SESSION__CONNECTION_H_ */