From 06f155a6440702acb9275ac058d7d004426ce779 Mon Sep 17 00:00:00 2001 From: Christian Prochaska Date: Tue, 14 Feb 2012 14:07:12 +0100 Subject: [PATCH] Add 'Native_capability::dst()' accessor for Linux This patch fixes #118. --- base-linux/include/base/native_types.h | 1 + 1 file changed, 1 insertion(+) diff --git a/base-linux/include/base/native_types.h b/base-linux/include/base/native_types.h index 69e8eb7703..3e270a3f65 100644 --- a/base-linux/include/base/native_types.h +++ b/base-linux/include/base/native_types.h @@ -137,6 +137,7 @@ namespace Genode { /** * Access raw capability data */ + long dst() const { return _tid; } long tid() const { return _tid; } };