l4/pkg/linux-26-headers/include/asm-x86/bios_ebda.h

   1 #ifndef _MACH_BIOS_EBDA_H
   2 #define _MACH_BIOS_EBDA_H
   3
   4 #include <asm/io.h>
   5
   6 /*
   7  * there is a real-mode segmented pointer pointing to the
   8  * 4K EBDA area at 0x40E.
   9  */
  10 static inline unsigned int get_bios_ebda(void)
  11 {
  12         unsigned int address = *(unsigned short *)phys_to_virt(0x40E);
  13         address <<= 4;
  14         return address; /* 0 means none */
  15 }
  16
  17 void reserve_ebda_region(void);
  18
  19 #endif /* _MACH_BIOS_EBDA_H */