vm_session: evaluate priority

Issue #3111
2019-01-11 15:41:29 +01:00
parent d459432c45
commit d2229ab381
13 changed files with 30 additions and 14 deletions
--- a/repos/base-sel4/src/core/include/vm_session_component.h
+++ b/repos/base-sel4/src/core/include/vm_session_component.h
@@ -97,7 +97,7 @@ class Genode::Vm_session_component
 		using Cap_quota_guard::upgrade;

 		Vm_session_component(Rpc_entrypoint &, Resources, Label const &,
-		                     Diag, Ram_allocator &ram, Region_map &);
+		                     Diag, Ram_allocator &ram, Region_map &, unsigned);
 		~Vm_session_component();

 		/*********************************
--- a/repos/base-sel4/src/core/spec/x86/vm_session_component.cc
+++ b/repos/base-sel4/src/core/spec/x86/vm_session_component.cc
@@ -69,7 +69,8 @@ Vm_session_component::Vm_session_component(Rpc_entrypoint &ep,
                                           Label const &,
                                           Diag,
                                           Ram_allocator &ram,
-                                           Region_map &local_rm)
+                                           Region_map &local_rm,
+                                           unsigned)
 try
 :
 	Ram_quota_guard(resources.ram_quota),