Line | Count | Source (jump to first uncovered line) |
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 | */ | |
8 | static inline unsigned int get_bios_ebda(void) | |
9 | 0 | { |
10 | 0 | unsigned int address = *(unsigned short *)maddr_to_virt(0x40E); |
11 | 0 | address <<= 4; |
12 | 0 | return address; /* 0 means none */ |
13 | 0 | } |
14 | ||
15 | #endif /* _MACH_BIOS_EBDA_H */ |