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?