Stefan Reinauer c6d3ff6cdd use stdint types for structures, and don't use pointers ... for fields defined 32bit in the multi processor specification. Also, fix lots of trivial warnings in the code. If you ever wondered, why you get odd or wrong mp tables on your x64 system: It's not because bios vendors neglected mp tables; it's because we neglected 64bit systems. ;-) Signed-off-by: Stefan Reinauer <stepan@coresystems.de> Acked-by: Stefan Reinauer <stepan@coresystems.de> git-svn-id: svn://svn.coreboot.org/coreboot/trunk@5056 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1		2010-01-26 14:09:30 +00:00
..
Makefile	use stdint types for structures, and don't use pointers	2010-01-26 14:09:30 +00:00
mptable.c	use stdint types for structures, and don't use pointers	2010-01-26 14:09:30 +00:00