2005-05-31 19:17:48

by Timur Tabi

[permalink] [raw]
Subject: get_user_pages() and process termination

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