Applied, thanks!
Damien Zammit, le mar. 25 oct. 2022 10:55:42 +0000, a ecrit:
> ---
> 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
>
>
>
--
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.
