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?