ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-15 23:17:14 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

os: Add Handle_registry::has_handle

Browse Source 
Issue #1649
This commit is contained in:
Norman Feske 2015-08-18 15:30:56 +02:00 committed by Christian Helmuth
parent b4e3e99cc8
commit 9402261dda
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
repos/os/include/os/handle_registry.h
View File

@ -188,6 +188,16 @@ class Genode::Handle_registry
* \throw Lookup_failed
*/
Weak_ptr<OBJ> &lookup(HANDLE handle) const { return _lookup(handle); }
/**
* Return true if 'obj' is registered under the specified handle
*
* \throw Lookup_failed
*/
bool has_handle(OBJ const &obj, HANDLE handle) const
{
return obj.weak_ptr_const() == _lookup(handle);
}
};
#endif /* _INCLUDE__OS__HANDLE_REGISTRY_H_ */