From 8fff7df43825dde84c9b056834f4bcade1698864 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 7 Mar 2018 14:57:13 +0100
Subject: [PATCH] nic_router: safe pointers that are valid and const

Add safe pointer constructor that takes a reference as argument to enable the
use of the safe pointer wrapper as const object.

Ref #2670
---
 repos/os/src/server/nic_router/pointer.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/repos/os/src/server/nic_router/pointer.h b/repos/os/src/server/nic_router/pointer.h
index a1a38ccf89..90e95308f8 100644
--- a/repos/os/src/server/nic_router/pointer.h
+++ b/repos/os/src/server/nic_router/pointer.h
@@ -33,6 +33,8 @@ class Net::Pointer
 
 		Pointer() : _ptr(nullptr) { }
 
+		Pointer(T &ref) : _ptr(&ref) { }
+
 		T &deref() const
 		{
 			if (_ptr == nullptr) {