---
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