| #ifndef BIOS_SEGMENT_H | |
| #define BIOS_SEGMENT_H | |
| static inline uint32_t segment_to_flat(uint16_t selector, uint16_t offset) | |
| { | |
| return ((uint32_t)selector << 4) + (uint32_t) offset; | |
| } | |
| static inline uint16_t flat_to_seg16(uint32_t address) | |
| { | |
| return (address >> 4) & 0xf000; | |
| } | |
| static inline uint16_t flat_to_off16(uint32_t address) | |
| { | |
| return address & 65535; | |
| } | |
| #endif /* KVM_SEGMENT_H */ |