Re: small patch for do_wp_page

David S. Miller (davem@redhat.com)
Thu, 26 Aug 1999 04:44:40 -0700


Date: Thu, 26 Aug 1999 11:17:21 +0100
From: Philip Blundell <pb@nexus.co.uk>

>What is the invariant which makes you believe that
>"old_page == ZERO_PAGE(new_page)" at this spot each
>and every time?

Nothing, but you overlooked the other part of my patch. I also added a
flush into copy_cow_page() in the case where old_page != ZERO_PAGE.

Duh, I must be getting old. Your patch is fine.

Later,
David S. Miller
davem@redhat.com

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.tux.org/lkml/