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 -- To unsubscribe, send a message with 'unsubscribe linux-mm' in the body to majordomo@xxxxxxxxx. For more info on Linux MM, see: http://www.linux-mm.org/ . Don't email: <a href=mailto:"dont@xxxxxxxxx";> email@xxxxxxxxx </a>
