#ifndef _MACH_BIOS_EBDA_H#define _MACH_BIOS_EBDA_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 */}#endif /* _MACH_BIOS_EBDA_H */