pci: Add Linux sysfs implementation of HW.PCI.Dev
In Linux' sysfs, each PCI device has a directory like:
/sys/devices/pci0000:00/0000:00:02.0/
Therein, the file `config` represents the PCI device's configuration
space. Alas, it's not mappable so we work on a read only copy. Should
we ever need dynamic read/write access, we'd have to implement it
using read()/write().
IO and MMIO resources are represented by mappable files, `resource[0-5]`
for uncacheable accesses and `resource[0-5]_wc` for write-combining
access.
Change-Id: I1358e9336edaf75e8eff50808a8169b997817d7e
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/20554
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
diff --git a/common/hw-pci-dev.ads b/common/hw-pci-dev.ads
index 90ed9e5..5b20aa1 100644
--- a/common/hw-pci-dev.ads
+++ b/common/hw-pci-dev.ads
@@ -48,6 +48,9 @@
procedure Resource_Size (Length : out Natural; Res : Resource);
+ pragma Warnings (GNATprove, Off, "unused variable ""MMConf_Base""*",
+ Reason => "Used for a common interface");
procedure Initialize (Success : out Boolean; MMConf_Base : Word64 := 0);
+ pragma Warnings (GNATprove, On, "unused variable ""MMConf_Base""*");
end HW.PCI.Dev;