Re: small patch for do_wp_page
Philip Blundell (firstname.lastname@example.org)
Thu, 26 Aug 1999 11:17:21 +0100
>You understand it just fine, however you believe that copy_cow_page is
>actually passed ZERO_PAGE in the instance where you removed the flush.
>Your change is to remove the flush from this stretch of code:
>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.
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to email@example.com
Please read the FAQ at http://www.tux.org/lkml/