Searched refs:p4d_ref (Results 1 – 2 of 2) sorted by relevance
170 const p4d_t *p4d_ref; in sync_global_pgds_l4() local178 p4d_ref = p4d_offset(pgd_ref, addr); in sync_global_pgds_l4()180 if (p4d_none(*p4d_ref)) in sync_global_pgds_l4()195 if (!p4d_none(*p4d_ref) && !p4d_none(*p4d)) in sync_global_pgds_l4()197 != p4d_page_vaddr(*p4d_ref)); in sync_global_pgds_l4()200 set_p4d(p4d, *p4d_ref); in sync_global_pgds_l4()
185 p4d_t *p4d_ref = p4d_offset(pgd_ref, sp); in sync_current_stack_to_mm() local187 set_p4d(p4d, *p4d_ref); in sync_current_stack_to_mm()