ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-23 23:42:32 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

drivers/platform/rpi: remove dead code

Browse Source 
Ref #3961
This commit is contained in:
Martin Stein 2021-02-18 16:46:47 +01:00 committed by Norman Feske
parent b6d20b4742
commit 3485282909
1 changed files with 6 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
repos/os/src/drivers/platform/rpi/rpi_device.cc
View File

@ -66,18 +66,11 @@ void Driver::Rpi_device::release(Session_component & sc)
} }
void Driver::Rpi_device::_report_platform_specifics(Genode::Xml_generator & /*xml*/, void Driver::Rpi_device::_report_platform_specifics(Genode::Xml_generator &,
Driver::Session_component & /*sc*/) Driver::Session_component &)
{ {
//_clock_list.for_each([&] (Clock & c) { /*
// Avl_string_base * asb = * Normally, the platform driver should report about clock settings of the
// sc.env().ccm.tree.first()->find_by_name(c.name.string()); * device etc. here. But we do not implement clocking for RPI yet.
// if (!asb || !c.driver_name.valid()) { return; } */
// Driver::Clock & clock =
// static_cast<Driver::Clock::Clock_tree_element*>(asb)->object();
// xml.node("clock", [&] () {
// xml.attribute("rate", clock.get_rate());
// xml.attribute("name", c.driver_name);
// });
//});
} }