diff for duplicates of <20170616134041.GF11676@redhat.com> diff --git a/a/1.txt b/N1/1.txt index f117c9a..ba7112c 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -21,3 +21,9 @@ and it was always set before calling pmdp_invalidate. It looks like we could skip the flush if _PAGE_PRESENT is not set (i.e. for example if the pmd is PROTNONE) but that's not what the above pmd_present will do. + +-- +To unsubscribe, send a message with 'unsubscribe linux-mm' in +the body to majordomo@kvack.org. For more info on Linux MM, +see: http://www.linux-mm.org/ . +Don't email: <a href=mailto:"dont@kvack.org"> email@kvack.org </a> diff --git a/a/content_digest b/N1/content_digest index ba79433..5208452 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -42,6 +42,12 @@ "\n" "It looks like we could skip the flush if _PAGE_PRESENT is not set\n" "(i.e. for example if the pmd is PROTNONE) but that's not what the above\n" - pmd_present will do. + "pmd_present will do.\n" + "\n" + "--\n" + "To unsubscribe, send a message with 'unsubscribe linux-mm' in\n" + "the body to majordomo@kvack.org. For more info on Linux MM,\n" + "see: http://www.linux-mm.org/ .\n" + "Don't email: <a href=mailto:\"dont@kvack.org\"> email@kvack.org </a>" -58ad57aad286d7fb785f733606a1c20433ab121b4f02790679887dd7bb708d42 +6def457fcc176a8702810442dcadd7b11434130701db1e81b58a57c907b92ba3
This is an external index of several public inboxes, see mirroring instructions on how to clone and mirror all data and code used by this external index.