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