Searched defs:src_p4d (Results 1 – 2 of 2) sorted by relevance
1081 p4d_t *dst_p4d, p4d_t *src_p4d, unsigned long addr, in copy_pud_range()1122 p4d_t *src_p4d, *dst_p4d; in copy_p4d_range() local
1178 p4d_t *dst_p4d, p4d_t *src_p4d, unsigned long addr, in copy_pud_range()1219 p4d_t *src_p4d, *dst_p4d; in copy_p4d_range() local