Lines Matching refs:p4d
81 p4d_t *p4d = p4d_page + p4d_index(addr); in ident_p4d_init() local
88 if (p4d_present(*p4d)) { in ident_p4d_init()
89 pud = pud_offset(p4d, 0); in ident_p4d_init()
104 set_p4d(p4d, __p4d(__pa(pud) | info->kernpg_flag)); in ident_p4d_init()
127 p4d_t *p4d; in kernel_ident_mapping_init() local
134 p4d = p4d_offset(pgd, 0); in kernel_ident_mapping_init()
135 result = ident_p4d_init(info, p4d, addr, next); in kernel_ident_mapping_init()
141 p4d = (p4d_t *)info->alloc_pgt_page(info->context); in kernel_ident_mapping_init()
142 if (!p4d) in kernel_ident_mapping_init()
144 result = ident_p4d_init(info, p4d, addr, next); in kernel_ident_mapping_init()
148 set_pgd(pgd, __pgd(__pa(p4d) | info->kernpg_flag)); in kernel_ident_mapping_init()
154 pud_t *pud = pud_offset(p4d, 0); in kernel_ident_mapping_init()