Searched refs:pgd_efi (Results 1 – 1 of 1) sorted by relevance
110 pgd_t *pgd_k, *pgd_efi; in efi_sync_low_kernel_mappings() local115 pgd_efi = efi_pgd + pgd_index(PAGE_OFFSET); in efi_sync_low_kernel_mappings()119 memcpy(pgd_efi, pgd_k, sizeof(pgd_t) * num_entries); in efi_sync_low_kernel_mappings()121 pgd_efi = efi_pgd + pgd_index(EFI_VA_END); in efi_sync_low_kernel_mappings()123 p4d_efi = p4d_offset(pgd_efi, 0); in efi_sync_low_kernel_mappings()136 p4d_efi = p4d_offset(pgd_efi, EFI_VA_END); in efi_sync_low_kernel_mappings()