Lines Matching refs:p4d
32 static void free_pud(struct x86_mapping_info *info, p4d_t *p4d) in free_pud() argument
34 pud_t *pud = pud_offset(p4d, 0); in free_pud()
52 p4d_t *p4d = p4d_offset(pgd, 0); in free_p4d() local
56 if (!p4d_present(p4d[i])) in free_p4d()
59 free_pud(info, &p4d[i]); in free_p4d()
63 info->free_pgt_page(p4d, info->context); in free_p4d()
154 p4d_t *p4d = p4d_page + p4d_index(addr); in ident_p4d_init() local
161 if (p4d_present(*p4d)) { in ident_p4d_init()
162 pud = pud_offset(p4d, 0); in ident_p4d_init()
177 set_p4d(p4d, __p4d(__pa(pud) | info->kernpg_flag)); in ident_p4d_init()
200 p4d_t *p4d; in kernel_ident_mapping_init() local
207 p4d = p4d_offset(pgd, 0); in kernel_ident_mapping_init()
208 result = ident_p4d_init(info, p4d, addr, next); in kernel_ident_mapping_init()
214 p4d = (p4d_t *)info->alloc_pgt_page(info->context); in kernel_ident_mapping_init()
215 if (!p4d) in kernel_ident_mapping_init()
217 result = ident_p4d_init(info, p4d, addr, next); in kernel_ident_mapping_init()
221 set_pgd(pgd, __pgd(__pa(p4d) | info->kernpg_flag)); in kernel_ident_mapping_init()
227 pud_t *pud = pud_offset(p4d, 0); in kernel_ident_mapping_init()