If I call get_user_pages() on some pages owned by a process, and then the process exits,
are the pages still pinned, or is there some kind of automatic cleanup?
--
Timur Tabi
Staff Software Engineer
[email protected]
One thing a Southern boy will never say is,
"I don't think duct tape will fix it."
-- Ed Smylie, NASA engineer for Apollo 13