On Wed, Jun 12, 2013 at 06:23:29PM +0100, Laura Abbott wrote:
> +int set_memory_ro(unsigned long addr, int numpages)
> +{
> + unsigned long start = addr;
> + unsigned long size = PAGE_SIZE*numpages;
> + unsigned end = start + size;
> +
> + apply_to_page_range(&init_mm, start, size, pte_set_ro, NULL);
> + dsb();
> + flush_tlb_kernel_range(start, end);
I think flush_tlb_kernel_range() already has a DSB.
--
Catalin
--
To unsubscribe from this list: send the line "unsubscribe linux-arm-msm" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
