Re: [PATCH] mm: Update mask post pxd_clear_bad()

[Matthew Wilcox]

On Thu, Mar 13, 2025 at 11:44:14PM +0530, Dev Jain wrote:
> Since pxd_clear_bad() is an operation changing the state of the page tables,
> we should call arch_sync_kernel_mappings() post this.

Could you explain why?  What effect does not calling
arch_sync_kernel_mappings() have in this case?