Lines Matching refs:pl3e
1535 l3_pgentry_t *pl3e; in efi_init_memory() local
1541 pl3e = alloc_xen_pagetable(); in efi_init_memory()
1542 BUG_ON(!pl3e); in efi_init_memory()
1543 clear_page(pl3e); in efi_init_memory()
1545 l4e_from_paddr(virt_to_maddr(pl3e), __PAGE_HYPERVISOR); in efi_init_memory()
1548 pl3e = l4e_to_l3e(l4e); in efi_init_memory()
1549 pl3e += l3_table_offset(addr); in efi_init_memory()
1550 if ( !(l3e_get_flags(*pl3e) & _PAGE_PRESENT) ) in efi_init_memory()
1555 *pl3e = l3e_from_paddr(virt_to_maddr(pl2e), __PAGE_HYPERVISOR); in efi_init_memory()
1559 BUG_ON(l3e_get_flags(*pl3e) & _PAGE_PSE); in efi_init_memory()
1560 pl2e = l3e_to_l2e(*pl3e); in efi_init_memory()