Searched refs:old_table (Results 1 – 1 of 1) sorted by relevance
1413 let old_table = umapper.table(); in clone_user_mapping() localVariable1418 if let Some(next_table) = old_table.next_level_table(entry_index) { in clone_user_mapping()1420 let old_entry = old_table.entry(entry_index).unwrap(); in clone_user_mapping()