#ifndef _MACH_BIOS_EBDA_H#define _MACH_BIOS_EBDA_H#include<asm/io.h>/* * there is a real-mode segmented pointer pointing to the * 4K EBDA area at 0x40E. */staticinlineunsignedintget_bios_ebda(void){unsignedintaddress=*(unsignedshort*)phys_to_virt(0x40E);address<<=4;returnaddress;/* 0 means none */}voidreserve_ebda_region(void);#endif /* _MACH_BIOS_EBDA_H */