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