in the far pointers are multiples of 4K (as is normal when the video BIOS is at seg 0xc000). Disallow mode switching if the pointer is bad. Use a new pa_to_va() macro for all BIOS and video addresses in syscons.
in the far pointers are multiples of 4K (as is normal when the video BIOS is at seg 0xc000). Disallow mode switching if the pointer is bad. Use a new pa_to_va() macro for all BIOS and video addresses in syscons.