From c4dea1057b0c763eec5437c1e48cc3e89932a982 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Tue, 14 Apr 2015 12:04:10 +0200 Subject: [PATCH] Document empty Pd_session_client::assign_pci --- repos/base/include/pd_session/client.h | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/repos/base/include/pd_session/client.h b/repos/base/include/pd_session/client.h index ebbca5731..b81438d74 100644 --- a/repos/base/include/pd_session/client.h +++ b/repos/base/include/pd_session/client.h @@ -31,6 +31,14 @@ struct Genode::Pd_session_client : Rpc_client int assign_parent(Parent_capability parent) override { return call(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; } };