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 #include