You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Branch: master

master

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'master'

${ noResults }

HTTPS

Download ZIP Download TAR.GZ Download BUNDLE Clone in VS Code

Nico Huber fc2102f560 dynamic_mmio: Use volatile access type ... GCC 11 complains about an incompatible access type, e.g. hw-pci-dev.adb:28:04: instantiation error at hw-mmio_range.adb:32 hw-pci-dev.adb:28:04: instantiation error at hw-pci-mmconf.adb:36 hw-pci-dev.adb:28:04: designated type and access type are not compatible with respect to volatility due to Async_Readers, Async_Writers, Effective_Reads, Effective_Writes Declaring the access type volatile works around the issue, but we have to also treat `Range_A` as external state now. Declaring it as `Base_Address` state was an odd hack anyway. To avoid further hassle, we also disable `SPARK_Mode`. Treating this as SPARK code was never intended, and we use a shadow imple- mentation (`proof/hw-mmio_range.adb`) for proofs anyway. TEST=Doesn't affect coreboot binaries. Change-Id: I9ddc8d1dafdcb41810e4c8bf29164ef7130def3f Signed-off-by: Nico Huber <nico.huber@secunet.com> Reviewed-on: https://review.coreboot.org/c/libhwbase/+/55390 Reviewed-by: Jacob Garber <jgarber1@ualberta.ca> Reviewed-by: Angel Pons <th3fanbus@gmail.com> Reviewed-by: Patrick Georgi <pgeorgi@google.com> Tested-by: Patrick Georgi <pgeorgi@google.com>		1 year ago
ada	dynamic_mmio: Use volatile access type	1 year ago
c	posix file: Add an `Offset` parameter and make `Len` optional	5 years ago
common	time: Add T_First constant	2 years ago
configs	pci: Add Linux sysfs implementation of HW.PCI.Dev	5 years ago
debug	direct pci, debug: Fix minor style issues	3 years ago
proof	pci: Add Linux sysfs implementation of HW.PCI.Dev	5 years ago
.gitignore	Initial upstream commit	6 years ago
COPYING	Initial upstream commit	6 years ago
Makefile	Makefile: Add `-gnatw_R` to suppress spurious warning	2 years ago
Makefile.inc	Add support to map the contents of a file	5 years ago
Makefile.proof	Makefile: Revise support for generated sources	3 years ago
debug.adc	Add `debug.adc` and option DEBUG	5 years ago
gnat.adc	gnat.adc: Allow exception handlers in pure Ada code	5 years ago
spark.adc	gnat.adc: Remove restriction `No_Secondary_Stack`	5 years ago