Heinrich Schuchardt a083ae71e0 acpi: use 64-bit addresses in FADT table ... Fields X_FIRMWAE_CTRL and X_DSDT must be 64bit wide. Convert pointers to to uintptr_t to fill these. If field X_FIRMWARE_CTRL is filled, field FIRMWARE must be ignored. If field X_DSDT is filled, field DSDT must be ignored. We should not fill unused fields. See the field definitions in chapter "5.2.9 Fixed ACPI Description Table (FADT)" of the ACPI Specification 6.5. Signed-off-by: Heinrich Schuchardt <heinrich.schuchardt@canonical.com> Reviewed-by: Simon Glass <sjg@chromium.org>		2024-01-07 13:45:07 -07:00
..
acpi.c	acpi: use 64-bit addresses in FADT table	2024-01-07 13:45:07 -07:00
car.S	SPDX: Convert all of our single license tags to Linux Kernel style	2018-05-07 09:34:12 -04:00
Kconfig	x86: edison: Switch to DM_USB_GADGET	2020-12-16 13:51:24 +08:00
Makefile	x86: tangier: pinmux: add API to configure protected pins	2018-09-17 17:35:52 +08:00
pinmux.c	common: Drop linux/printk.h from common header	2023-09-24 09:54:57 -04:00
sdram.c	common: Drop linux/printk.h from common header	2023-09-24 09:54:57 -04:00
sysreset.c	sysreset: Remove DM_FLAG_PRE_RELOC flag in various drivers	2018-11-14 09:16:28 -08:00
tangier.c	common: Drop init.h from common header	2020-05-18 17:33:33 -04:00