base-foc: retire Native_task type

Issue genodelabs#1832
nfeske · Jan 25, 2016 · ae0fbeb · ae0fbeb
1 parent 029783d
commit ae0fbeb
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 5 deletions.
diff --git a/repos/base-foc/include/base/native_types.h b/repos/base-foc/include/base/native_types.h
@@ -93,9 +93,6 @@ namespace Genode {
 	};
 
 
-	typedef Fiasco::l4_cap_idx_t Native_task;
-
-
 	struct Native_utcb
 	{
 		/*

diff --git a/repos/base-foc/src/core/include/cap_mapping.h b/repos/base-foc/src/core/include/cap_mapping.h
@@ -18,6 +18,11 @@
 #include <cap_index.h>
 #include <util/noncopyable.h>
 
+/* Fiasco.OC includes */
+namespace Fiasco {
+#include <l4/sys/types.h>
+}
+
 namespace Genode {
 
 	/**
@@ -53,7 +58,7 @@ namespace Genode {
 			 *
 			 * \param task capability of task to map to
 			 */
-			void map(Native_task task);
+			void map(Fiasco::l4_cap_idx_t task);
 	};
 }
 

diff --git a/repos/base-foc/src/core/rpc_cap_factory.cc b/repos/base-foc/src/core/rpc_cap_factory.cc
@@ -58,7 +58,7 @@ Core_cap_index* Cap_mapping::_get_cap()
 }
 
 
-void Cap_mapping::map(Native_thread_id task)
+void Cap_mapping::map(Fiasco::l4_cap_idx_t task)
 {
 	using namespace Fiasco;