Searched refs:pgd_efi (Results 1 – 1 of 1) sorted by relevance
113 pgd_t *pgd_k, *pgd_efi; in efi_sync_low_kernel_mappings() local130 pgd_efi = efi_pgd + pgd_index(PAGE_OFFSET); in efi_sync_low_kernel_mappings()134 memcpy(pgd_efi, pgd_k, sizeof(pgd_t) * num_entries); in efi_sync_low_kernel_mappings()143 pgd_efi = efi_pgd + pgd_index(EFI_VA_END); in efi_sync_low_kernel_mappings()145 p4d_efi = p4d_offset(pgd_efi, 0); in efi_sync_low_kernel_mappings()158 p4d_efi = p4d_offset(pgd_efi, EFI_VA_END); in efi_sync_low_kernel_mappings()
