Fix double unlock of page_table_lock in do_wp_page().
Noticed by Petr Vandrovec. In the out-of-memory case, do_wp_page() would unlock page_table_lock twice - once before allocating, and once in the exit path. Rewrite the exit paths to be more readable, and don't try to share the code between all the exit cases, since they are very different.
Showing
Please register or sign in to comment