Stefan Reinauer b8ad224468 cbmem: replace pointer type by uint64_t ... Since coreboot is compiled into 32bit code, and userspace might be 32 or 64bit, putting a pointer into the coreboot table is not viable. Instead, use a uint64_t, which is always big enough for a pointer, even if we decide to move to a 64bit coreboot at some point. Change-Id: Ic974cdcbc9b95126dd1e07125f3e9dce104545f5 Signed-off-by: Stefan Reinauer <reinauer@google.com> Reviewed-on: http://review.coreboot.org/2135 Tested-by: build bot (Jenkins) Reviewed-by: Ronald G. Minnich <rminnich@gmail.com>		2013-01-11 19:56:43 +01:00
..
acpi	After this has been brought up many times before, rename src/arch/i386 to	2010-12-11 20:33:41 +00:00
boot	cbmem: replace pointer type by uint64_t	2013-01-11 19:56:43 +01:00
include	Get stdint.h in sync between ARMv7 and x86	2012-12-19 00:20:33 +01:00
init	Refactor bootblock initialisation	2012-11-30 00:57:58 +01:00
lib	Unify assembler function handling	2012-12-06 23:13:17 +01:00
llshell	llshell: fix build without romcc	2012-06-14 21:21:06 +02:00
coreboot_ram.ld	build system: Eliminate special case for c_start	2012-11-27 22:01:02 +01:00
Kconfig	Add mainboard hook to bootblock	2012-11-30 00:58:03 +01:00
Makefile.inc	Rename mainboard_smi.c to smihandler.c	2013-01-03 19:33:01 +01:00