coreboot-kgpe-d16/src/arch
Patrick Rudolph 4d60d96497 walkcbfs: Only compile on x86_32
The current implementation was designed for x86_32, so don't
attempt to compile it on x86_64 until it is fixed.

Fixes compilation error on x86_64.

Change-Id: Ibd87dc2979f6d45a988119c06c5f9e61b3e86171
Signed-off-by: Patrick Rudolph <siro@das-labor.org>
Reviewed-on: https://review.coreboot.org/c/31467
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
2019-02-20 10:38:05 +00:00
..
arm src: Move {pci,pnp}_devfn_t to common 'device/pci_type.h' 2019-01-04 12:13:20 +00:00
arm64 bootmem: add new memory type for BL31 2019-02-05 13:41:45 +00:00
mips src: Move {pci,pnp}_devfn_t to common 'device/pci_type.h' 2019-01-04 12:13:20 +00:00
ppc64 arch/power8: Rename to ppc64 2018-11-30 20:02:17 +00:00
riscv riscv: Add initial support for 32bit boards 2019-02-13 04:49:14 +00:00
x86 walkcbfs: Only compile on x86_32 2019-02-20 10:38:05 +00:00