diff --git a/base-linux/include/base/native_types.h b/base-linux/include/base/native_types.h index 69e8eb770..3e270a3f6 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; } };