On Mon, Feb 25, 2019 at 8:58 AM Andy Lutomirski <luto@xxxxxxxxxx> wrote: > I sure hope that pagefault_disable() already takes care of this. > Otherwise we have major problems already. Okay, cool. I missed that bit. :) -- Kees Cook
On Mon, Feb 25, 2019 at 8:58 AM Andy Lutomirski <luto@xxxxxxxxxx> wrote: > I sure hope that pagefault_disable() already takes care of this. > Otherwise we have major problems already. Okay, cool. I missed that bit. :) -- Kees Cook