Searched defs:next_addr_space (Results 1 – 2 of 2) sorted by relevance
175 let next_addr_space = next.basic().user_vm().as_ref().unwrap().clone(); in switch_process() localVariable
384 let next_addr_space = next.basic().user_vm().as_ref().unwrap().clone(); in switch_process() localVariable