Searched refs:p4d_start (Results 1 – 1 of 1) sorted by relevance
1186 remove_p4d_table(p4d_t *p4d_start, unsigned long addr, unsigned long end, in remove_p4d_table() argument1193 p4d = p4d_start + p4d_index(addr); in remove_p4d_table()