1 files changed, 2 insertions, 2 deletions

diff --git a/arch/x86_64/kernel/setup.c b/arch/x86_64/kernel/setup.c
index 4b114ee31e..65e2bc551a 100644
--- a/arch/x86_64/kernel/setup.c
+++ b/arch/x86_64/kernel/setup.c
@@ -205,10 +205,10 @@ static void discover_ebda(void)
          * there is a real-mode segmented pointer pointing to the 
          * 4K EBDA area at 0x40E
          */
-        ebda_addr = *(unsigned short *)EBDA_ADDR_POINTER;
+        ebda_addr = *(unsigned short *)__va(EBDA_ADDR_POINTER);
         ebda_addr <<= 4;
 
-        ebda_size = *(unsigned short *)(unsigned long)ebda_addr;
+        ebda_size = *(unsigned short *)__va(ebda_addr);
 
         /* Round EBDA up to pages */
         if (ebda_size == 0)