48 lines
1.1 KiB
C++
48 lines
1.1 KiB
C++
/*
|
|
* \brief Capability helper
|
|
* \author Norman Feske
|
|
* \date 2016-06-27
|
|
*/
|
|
|
|
/*
|
|
* Copyright (C) 2016-2017 Genode Labs GmbH
|
|
*
|
|
* This file is part of the Genode OS framework, which is distributed
|
|
* under the terms of the GNU Affero General Public License version 3.
|
|
*/
|
|
|
|
#ifndef _INCLUDE__NOVA__CAPABILITY_SPACE_H_
|
|
#define _INCLUDE__NOVA__CAPABILITY_SPACE_H_
|
|
|
|
/* Genode includes */
|
|
#include <base/capability.h>
|
|
|
|
/* NOVA includes */
|
|
#include <nova/syscalls.h>
|
|
|
|
namespace Genode { namespace Capability_space {
|
|
|
|
static constexpr unsigned long INVALID_INDEX = ~0UL;
|
|
|
|
typedef Nova::Crd Ipc_cap_data;
|
|
|
|
static inline Nova::Crd crd(Native_capability const &cap)
|
|
{
|
|
/*
|
|
* We store the 'Nova::Crd' value in place of the 'Data' pointer.
|
|
*/
|
|
addr_t value = (addr_t)cap.data();
|
|
Nova::Crd crd = *(Nova::Crd *)&value;
|
|
return crd;
|
|
}
|
|
|
|
static inline Native_capability import(addr_t sel, unsigned rights = 0x1f)
|
|
{
|
|
Nova::Obj_crd const crd = (sel == INVALID_INDEX)
|
|
? Nova::Obj_crd() : Nova::Obj_crd(sel, 0, rights);
|
|
return Native_capability((Native_capability::Data *)crd.value());
|
|
}
|
|
} }
|
|
|
|
#endif /* _INCLUDE__NOVA__CAPABILITY_SPACE_H_ */
|