--- linux/src/arch/i386/kernel/bios32.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/linux/src/arch/i386/kernel/bios32.c b/linux/src/arch/i386/kernel/bios32.c index c10cc0c0..71cc3f98 100644 --- a/linux/src/arch/i386/kernel/bios32.c +++ b/linux/src/arch/i386/kernel/bios32.c @@ -877,8 +877,8 @@ unsigned long pcibios_init(unsigned long memory_start, unsigned long memory_end) * */ - for (check = (union bios32 *) 0xe0000; - check <= (union bios32 *) 0xffff0; + for (check = (union bios32 *) phystokv(0xe0000); + check <= (union bios32 *) phystokv(0xffff0); ++check) { if (check->fields.signature != BIOS32_SIGNATURE) continue; -- 2.34.1