diff for duplicates of <20180606000822.GE4423@redhat.com> diff --git a/a/1.txt b/N1/1.txt index b80ad39..45f0e40 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -52,7 +52,7 @@ On Tue, Jun 05, 2018 at 04:06:12PM -0700, Dan Williams wrote: > upstream users of HMM, we should delete it unless / until those users > arrive. -The raison d'etre of HMM is to isolate driver from mm internal gut and +The raison d'être of HMM is to isolate driver from mm internal gut and thus provide a clear contract and API to device driver. I tried to spell that contract in include/linux/hmm.h which i can re-formulate shortly in: - provide call back when CPU try to access a device page so that @@ -100,4 +100,4 @@ HMM to be an impedance layer that provide stable and simple API to device driver while preserving freedom of change to mm. Cheers, -Jerome +Jérôme diff --git a/a/content_digest b/N1/content_digest index 3a35d6e..11b8081 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -75,7 +75,7 @@ "> upstream users of HMM, we should delete it unless / until those users\n" "> arrive.\n" "\n" - "The raison d'etre of HMM is to isolate driver from mm internal gut and\n" + "The raison d'\303\252tre of HMM is to isolate driver from mm internal gut and\n" "thus provide a clear contract and API to device driver. I tried to spell\n" "that contract in include/linux/hmm.h which i can re-formulate shortly in:\n" " - provide call back when CPU try to access a device page so that\n" @@ -123,6 +123,6 @@ "device driver while preserving freedom of change to mm.\n" "\n" "Cheers,\n" - Jerome + "J\303\251r\303\264me" -c984980c1305fcfd297234f5c2c6e49997ae4c089829dbe4e549f613560442b1 +b62227a87ee16b58cdb7e529bbabd3db7e7810f0b5da352a366a3dcf1c8ba8bd
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.