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

platform driver: don't copy list-model elements

Browse Source 
Issue #4317
This commit is contained in:
Norman Feske 2023-10-27 16:33:25 +02:00 committed by Christian Helmuth
parent 6e0d44397f
commit b7b74e62a0
6 changed files with 29 additions and 33 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/os/src/drivers/platform/pci.cc
View File

@ -300,7 +300,7 @@ bool Driver::pci_device_matches(Session_policy const & policy,
vendor_t vendor_id = node.attribute_value<vendor_t>("vendor_id", 0);
device_t device_id = node.attribute_value<device_t>("device_id", 0);
dev.for_pci_config([&] (Device::Pci_config const cfg)
dev.for_pci_config([&] (Device::Pci_config const & cfg)
{
if ((pci_class_code_alias(cfg.class_code) == class_code) ||
(vendor_id == cfg.vendor_id && device_id == cfg.device_id))
@ -317,7 +317,7 @@ void Driver::pci_device_specific_info(Device const & dev,
Device_model & model,
Xml_generator & xml)
{
dev.for_pci_config([&] (Device::Pci_config const cfg)
dev.for_pci_config([&] (Device::Pci_config const & cfg)
{
Driver::pci_intel_graphics_info(cfg, env, model, xml);
Driver::pci_virtio_info(dev, cfg, env, xml);

10
repos/os/src/drivers/platform/pci_ehci.h
View File

@ -16,14 +16,14 @@
namespace Driver {
static void pci_ehci_quirks(Env &, Device const &,
Device::Pci_config, addr_t);
Device::Pci_config const &, addr_t);
}
void Driver::pci_ehci_quirks(Env & env,
Device const & dev,
Device::Pci_config cfg,
addr_t base)
void Driver::pci_ehci_quirks(Env & env,
Device const & dev,
Device::Pci_config const & cfg,
addr_t base)
{
enum { EHCI_CLASS_CODE = 0xc0320 };

6
repos/os/src/drivers/platform/pci_hd_audio.h
View File

@ -15,13 +15,11 @@
#include <device.h>
namespace Driver {
static void pci_hd_audio_quirks(Device::Pci_config cfg,
Pci::Config & config);
static void pci_hd_audio_quirks(Device::Pci_config const &, Pci::Config &);
}
void Driver::pci_hd_audio_quirks(Device::Pci_config cfg,
Pci::Config & config)
void Driver::pci_hd_audio_quirks(Device::Pci_config const & cfg, Pci::Config & config)
{
enum { HDAUDIO_CLASS_CODE = 0x40300 };

18
repos/os/src/drivers/platform/pci_intel_graphics.h
View File

@ -16,10 +16,10 @@
#include <device.h>
namespace Driver {
void pci_intel_graphics_info(Device::Pci_config cfg,
Env & env,
Device_model & model,
Xml_generator & xml);
void pci_intel_graphics_info(Device::Pci_config const & cfg,
Env & env,
Device_model & model,
Xml_generator & xml);
}
@ -75,10 +75,10 @@ static inline unsigned pci_intel_graphics_generation(Pci::device_t id)
};
void Driver::pci_intel_graphics_info(Device::Pci_config cfg,
Env & env,
Device_model & model,
Xml_generator & xml)
void Driver::pci_intel_graphics_info(Device::Pci_config const & cfg,
Env & env,
Device_model & model,
Xml_generator & xml)
{
enum {
GPU_CLASS_MASK = 0xff0000,
@ -101,7 +101,7 @@ void Driver::pci_intel_graphics_info(Device::Pci_config cfg,
/* find host bridge */
model.for_each([&] (Device const & dev) {
dev.for_pci_config([&] (Device::Pci_config const cfg) {
dev.for_pci_config([&] (Device::Pci_config const &cfg) {
if (cfg.bus_num || cfg.dev_num || cfg.func_num)
return;

10
repos/os/src/drivers/platform/pci_uhci.h
View File

@ -17,14 +17,14 @@
namespace Driver {
static void pci_uhci_quirks(Env &, Device const &,
Device::Pci_config, addr_t);
Device::Pci_config const &, addr_t);
}
void Driver::pci_uhci_quirks(Env & env,
Device const & dev,
Device::Pci_config cfg,
addr_t base)
void Driver::pci_uhci_quirks(Env & env,
Device const & dev,
Device::Pci_config const & cfg,
addr_t base)
{
enum { UHCI_CLASS_CODE = 0xc0300 };

14
repos/os/src/drivers/platform/pci_virtio.h
View File

@ -16,17 +16,15 @@
#include <device.h>
namespace Driver {
void pci_virtio_info(Device const & dev,
Device::Pci_config cfg,
Env & env,
Xml_generator & xml);
void pci_virtio_info(Device const &, Device::Pci_config const &, Env &,
Xml_generator &);
}
void Driver::pci_virtio_info(Device const & dev,
Device::Pci_config cfg,
Env & env,
Xml_generator & xml)
void Driver::pci_virtio_info(Device const & dev,
Device::Pci_config const & cfg,
Env & env,
Xml_generator & xml)
{
enum { VENDOR_RED_HAT = 0x1af4 };