clean_dcache_area
clean_dcache_area(pte + PTE_HWTABLE_PTRS, PTE_HWTABLE_SIZE);
clean_dcache_area(new_pgd, PTRS_PER_PGD * sizeof(pgd_t));
clean_dcache_area(new_pmd, PTRS_PER_PMD * sizeof(pmd_t));