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() local118 pgd_efi = efi_pgd + pgd_index(PAGE_OFFSET); in efi_sync_low_kernel_mappings()122 memcpy(pgd_efi, pgd_k, sizeof(pgd_t) * num_entries); in efi_sync_low_kernel_mappings()124 pgd_efi = efi_pgd + pgd_index(EFI_VA_END); in efi_sync_low_kernel_mappings()126 p4d_efi = p4d_offset(pgd_efi, 0); in efi_sync_low_kernel_mappings()139 p4d_efi = p4d_offset(pgd_efi, EFI_VA_END); in efi_sync_low_kernel_mappings()