if (pte_inserted(old_pte)) \
purge_tlb_entries(mm, addr); \
if (pte_inserted(old_pte)) \
purge_tlb_entries(mm, addr); \
printk("%s:%d: bad pgd %08lx.\n", __FILE__, __LINE__, (unsigned long)pgd_val(e))
/* This is the size of the initially mapped kernel memory */
printk("%s:%d: bad pgd %08lx.\n", __FILE__, __LINE__, (unsigned long)pgd_val(e))
/* This is the size of the initially mapped kernel memory */
if (pte_inserted(old_pte))
purge_tlb_entries(mm, addr);
if (pte_inserted(old_pte))
purge_tlb_entries(mm, addr);