|
@@ -166,14 +166,14 @@ void __init efi_call_phys_epilog(pgd_t *save_pgd)
|
|
|
pgd = pgd_offset_k(pgd_idx * PGDIR_SIZE);
|
|
|
set_pgd(pgd_offset_k(pgd_idx * PGDIR_SIZE), save_pgd[pgd_idx]);
|
|
|
|
|
|
- if (!(pgd_val(*pgd) & _PAGE_PRESENT))
|
|
|
+ if (!pgd_present(*pgd))
|
|
|
continue;
|
|
|
|
|
|
for (i = 0; i < PTRS_PER_P4D; i++) {
|
|
|
p4d = p4d_offset(pgd,
|
|
|
pgd_idx * PGDIR_SIZE + i * P4D_SIZE);
|
|
|
|
|
|
- if (!(p4d_val(*p4d) & _PAGE_PRESENT))
|
|
|
+ if (!p4d_present(*p4d))
|
|
|
continue;
|
|
|
|
|
|
pud = (pud_t *)p4d_page_vaddr(*p4d);
|