| mmu.c (8a511e7efc5a72173f64d191f01cda236d54e27a) | mmu.c (907835e6dee6f77ac30ae50bb3f88bd92055c86e) |
|---|---|
| 1// SPDX-License-Identifier: GPL-2.0-only 2/* 3 * Kernel-based Virtual Machine driver for Linux 4 * 5 * This module enables machines with Intel VT-x extensions to run virtual 6 * machines without emulation or binary translation. 7 * 8 * MMU support --- 3106 unchanged lines hidden (view full) --- 3115 p4d = READ_ONCE(*p4d_offset(&pgd, hva)); 3116 if (p4d_none(p4d) || !p4d_present(p4d)) 3117 goto out; 3118 3119 pud = READ_ONCE(*pud_offset(&p4d, hva)); 3120 if (pud_none(pud) || !pud_present(pud)) 3121 goto out; 3122 | 1// SPDX-License-Identifier: GPL-2.0-only 2/* 3 * Kernel-based Virtual Machine driver for Linux 4 * 5 * This module enables machines with Intel VT-x extensions to run virtual 6 * machines without emulation or binary translation. 7 * 8 * MMU support --- 3106 unchanged lines hidden (view full) --- 3115 p4d = READ_ONCE(*p4d_offset(&pgd, hva)); 3116 if (p4d_none(p4d) || !p4d_present(p4d)) 3117 goto out; 3118 3119 pud = READ_ONCE(*pud_offset(&p4d, hva)); 3120 if (pud_none(pud) || !pud_present(pud)) 3121 goto out; 3122 |
| 3123 if (pud_large(pud)) { | 3123 if (pud_leaf(pud)) { |
| 3124 level = PG_LEVEL_1G; 3125 goto out; 3126 } 3127 3128 pmd = READ_ONCE(*pmd_offset(&pud, hva)); 3129 if (pmd_none(pmd) || !pmd_present(pmd)) 3130 goto out; 3131 --- 4030 unchanged lines hidden --- | 3124 level = PG_LEVEL_1G; 3125 goto out; 3126 } 3127 3128 pmd = READ_ONCE(*pmd_offset(&pud, hva)); 3129 if (pmd_none(pmd) || !pmd_present(pmd)) 3130 goto out; 3131 --- 4030 unchanged lines hidden --- |