On Thu, Jan 25, 2018 at 1:57 PM, Andi Kleen <a...@linux.intel.com> wrote: > Andy Lutomirski <l...@kernel.org> writes: >> >> That being said, just stashing last_user_mm without any refcounting >> should be fine. > > If last_user_mm is freed and reallocated by a different process, > then that would miss the IPBP incorrectly. >
Hmm, right. So ctx_id it is. --Andy