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

..

coreboot_tables.h

cbmem: replace pointer type by uint64_t

2013-01-11 19:56:43 +01:00

elf_boot.h

Since some people disapprove of white space cleanups mixed in regular commits

2010-04-27 06:56:47 +00:00

elf.h

Allow dynamic size for the {s,}elfboot bounce buffer.

2009-05-13 16:27:25 +00:00

tables.h

Do not allow modifying memory table directly

2012-08-08 11:42:17 +02:00