diff options
| -rw-r--r-- | src/arch/x86/include/arch/io.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/arch/x86/include/arch/io.h b/src/arch/x86/include/arch/io.h index f62dc6cf96..1a27994ca7 100644 --- a/src/arch/x86/include/arch/io.h +++ b/src/arch/x86/include/arch/io.h @@ -216,11 +216,6 @@ static __always_inline void write64(volatile void *addr, #define PNP_DEV(PORT, FUNC) (((PORT) << 8) | (FUNC)) -/* FIXME: We need to make the coreboot to run at 64bit mode, So when read/write - * memory above 4G, We don't need to set %fs, and %gs anymore - * Before that We need to use %gs, and leave %fs to other RAM access - */ - #include <arch/pci_io_cfg.h> #include <arch/pci_mmio_cfg.h> |