Re: [PATCH 20/31] x86/mm/pae: Populate the user page-table with user pgd's

From: Joerg Roedel
Date: Fri Feb 09 2018 - 14:09:23 EST


On Fri, Feb 09, 2018 at 05:48:36PM +0000, Andy Lutomirski wrote:
> Can you rename the helper from pti_set_user_pgd() to
> pti_set_user_top_level_entry() or similar? The name was already a bit
> absurd, but now it's just nuts.

Sure, I can do that, just pti_set_user_top_level_entry() is a bit long.
I try to find a shorter name.


Thanks,

Joerg