On 11/20/2017 09:21 AM, Thomas Gleixner wrote: >> +} >> + >> static inline void native_set_p4d(p4d_t *p4dp, p4d_t p4d) >> { >> +#if defined(CONFIG_KAISER) && !defined(CONFIG_X86_5LEVEL) >> + /* >> + * set_pgd() does not get called when we are running >> + * CONFIG_X86_5LEVEL=y. So, just hack around it. We >> + * know here that we have a p4d but that it is really at >> + * the top level of the page tables; it is really just a >> + * pgd. >> + */ >> + /* Do we need to also populate the shadow p4d? */ >> + if (is_userspace_pgd(p4dp)) >> + native_get_shadow_p4d(p4dp)->pgd = p4d.pgd; > native_get_shadow_p4d() is kinda confusing, as it suggest that we get the > entry not the pointer to it. native_get_shadow_p4d_ptr() is what it > actually wants to be, but a setter e.g. native_set_shadow...(), we also > have set_pgd() would be more obvious I think. How about "kernel_to_shadow_pgdp()"? ... and friends -- 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>