Lines Matching refs:p4d
67 p4d_t *p4d = p4d_page + p4d_index(addr); in ident_p4d_init() local
74 if (p4d_present(*p4d)) { in ident_p4d_init()
75 pud = pud_offset(p4d, 0); in ident_p4d_init()
83 set_p4d(p4d, __p4d(__pa(pud) | info->kernpg_flag)); in ident_p4d_init()
106 p4d_t *p4d; in kernel_ident_mapping_init() local
113 p4d = p4d_offset(pgd, 0); in kernel_ident_mapping_init()
114 result = ident_p4d_init(info, p4d, addr, next); in kernel_ident_mapping_init()
120 p4d = (p4d_t *)info->alloc_pgt_page(info->context); in kernel_ident_mapping_init()
121 if (!p4d) in kernel_ident_mapping_init()
123 result = ident_p4d_init(info, p4d, addr, next); in kernel_ident_mapping_init()
127 set_pgd(pgd, __pgd(__pa(p4d) | info->kernpg_flag)); in kernel_ident_mapping_init()
133 pud_t *pud = pud_offset(p4d, 0); in kernel_ident_mapping_init()