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

Document empty Pd_session_client::assign_pci

Browse Source
This commit is contained in:
Norman Feske 2015-04-14 12:04:10 +02:00 committed by Christian Helmuth
parent e4906ef777
commit c4dea1057b
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
repos/base/include/pd_session/client.h
View File

@ -31,6 +31,14 @@ struct Genode::Pd_session_client : Rpc_client<Pd_session>
int assign_parent(Parent_capability parent) override {
return call<Rpc_assign_parent>(parent); }
/**
* Dummy stub for PCI-device assignment operation
*
* The assign_pci function exists only in the NOVA-specific version of the
* PD-session interface. This empty dummy stub merely exists to maintain
* API compatibility accross all base platforms so that drivers don't need
* to distinguish NOVA from non-NOVA.
*/
bool assign_pci(addr_t) { return false; }
};