Lines Matching refs:p4d
68 p4d_t *p4d = p4d_page + p4d_index(addr); in ident_p4d_init() local
75 if (p4d_present(*p4d)) { in ident_p4d_init()
76 pud = pud_offset(p4d, 0); in ident_p4d_init()
91 set_p4d(p4d, __p4d(__pa(pud) | info->kernpg_flag)); in ident_p4d_init()
114 p4d_t *p4d; in kernel_ident_mapping_init() local
121 p4d = p4d_offset(pgd, 0); in kernel_ident_mapping_init()
122 result = ident_p4d_init(info, p4d, addr, next); in kernel_ident_mapping_init()
128 p4d = (p4d_t *)info->alloc_pgt_page(info->context); in kernel_ident_mapping_init()
129 if (!p4d) in kernel_ident_mapping_init()
131 result = ident_p4d_init(info, p4d, addr, next); in kernel_ident_mapping_init()
135 set_pgd(pgd, __pgd(__pa(p4d) | info->kernpg_flag)); in kernel_ident_mapping_init()
141 pud_t *pud = pud_offset(p4d, 0); in kernel_ident_mapping_init()