Home
last modified time | relevance | path

Searched refs:p4d_page (Results 1 – 6 of 6) sorted by relevance

/arch/x86/mm/
Dkaslr.c184 p4d_t *p4d_page, *p4d_page_tramp; in init_trampoline_p4d() local
191 p4d_page = (p4d_t *) pgd_page_vaddr(*pgd); in init_trampoline_p4d()
198 p4d = p4d_page + p4d_index(vaddr); in init_trampoline_p4d()
Dident_map.c61 static int ident_p4d_init(struct x86_mapping_info *info, p4d_t *p4d_page, in ident_p4d_init() argument
67 p4d_t *p4d = p4d_page + p4d_index(addr); in ident_p4d_init()
Dinit_64.c262 void set_pte_vaddr_p4d(p4d_t *p4d_page, unsigned long vaddr, pte_t new_pte) in set_pte_vaddr_p4d() argument
264 p4d_t *p4d = p4d_page + p4d_index(vaddr); in set_pte_vaddr_p4d()
280 p4d_t *p4d_page; in set_pte_vaddr() local
291 p4d_page = p4d_offset(pgd, 0); in set_pte_vaddr()
292 set_pte_vaddr_p4d(p4d_page, vaddr, pteval); in set_pte_vaddr()
626 phys_p4d_init(p4d_t *p4d_page, unsigned long paddr, unsigned long paddr_end, in phys_p4d_init() argument
634 return phys_pud_init((pud_t *) p4d_page, paddr, paddr_end, page_size_mask); in phys_p4d_init()
641 p4d = p4d_page + p4d_index(vaddr); in phys_p4d_init()
871 free_pagetable(p4d_page(*p4d), 0); in free_pud_table()
1449 get_page_bootmem(section_nr, p4d_page(*p4d), MIX_SECTION_INFO); in register_page_bootmem_memmap()
/arch/x86/include/asm/
Dpgtable_64.h56 void set_pte_vaddr_p4d(p4d_t *p4d_page, unsigned long vaddr, pte_t new_pte);
Dpgtable.h855 #define p4d_page(p4d) pfn_to_page(p4d_pfn(p4d)) macro
/arch/s390/include/asm/
Dpgtable.h1207 #define p4d_page(pud) pfn_to_page(p4d_pfn(p4d)) macro