erebion/coreboot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
coreboot/src/drivers/intel/gma
History
Nico Huber ff2d863515 drivers/intel/gma: Allow SPARK function with side effects 
Explicitly specifying the aspect `Side_Effects' is necessary for GCC
toolchains from 14.0 on. As older toolchains don't know the aspect,
we have to silence a warning about it, though.

Change-Id: I1eb879f57437587dc11d879fcc4042a70d384786
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/80616
Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>
Reviewed-by: Thomas Heijligen <src@posteo.de>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
2024-03-01 18:46:30 +00:00
..
acpi drivers/intel/gma: Add missing parentheses to brightness ACPI 2024-02-02 14:41:34 +00:00
hires_fb drivers/intel/gma: Use libgfxinit Update_Output to turn off graphics 2023-01-26 16:53:35 +00:00
text_fb drivers/intel/gma: Use libgfxinit Update_Output to turn off graphics 2023-01-26 16:53:35 +00:00
acpi.c drivers/intel/gma: Remove space between function name and '(' 2023-08-28 03:08:45 +00:00
edid.c drivers: Remove space between function name and '(' 2023-09-11 15:51:04 +00:00
edid.h src/drivers: Clean up includes 2022-10-26 16:38:45 +00:00
gma-gfx_init.ads drivers/intel/gma: Use libgfxinit Update_Output to turn off graphics 2023-01-26 16:53:35 +00:00
gma.adb
gma.ads drivers/intel/gma: Allow SPARK function with side effects 2024-03-01 18:46:30 +00:00
gma.h
i915.h drivers/intel/gma: Update port select bit definitions 2023-10-04 18:50:21 +00:00
i915_reg.h drivers/intel/gma: Update port select bit definitions 2023-10-04 18:50:21 +00:00
int15.c
int15.h
intel_bios.h drivers/intel/gma/intel_bios.h: Use C99 flexible arrays 2023-07-30 10:00:38 +00:00
intel_ddi.c /: Remove extra space after comma 2022-11-30 03:07:23 +00:00
Kconfig drivers/intel/gma: Only show the choice when a VBT is to be added 2023-12-26 17:41:36 +00:00
libgfxinit.h drivers/intel/gma: Use libgfxinit Update_Output to turn off graphics 2023-01-26 16:53:35 +00:00
Makefile.mk driver/intel to /driver/ocp: Rename Makefiles from .inc to .mk 2024-01-24 10:04:10 +00:00
opregion.c drivers/intel/gma/opregion: Use CBFS cache to load VBT 2023-11-02 13:31:33 +00:00
opregion.h arch to drivers/intel: Fix misspellings & capitalization issues 2023-09-08 00:53:57 +00:00
vbt.c