2 * Copyright (C) 2013 Altera Corporation
4 * Copyright (C) 2004 Microtronix Datacom Ltd.
6 * This file is subject to the terms and conditions of the GNU General Public
7 * License. See the file "COPYING" in the main directory of this archive
11 #include <linux/export.h>
12 #include <linux/file.h>
14 #include <linux/slab.h>
15 #include <linux/syscalls.h>
17 #include <asm/cacheflush.h>
18 #include <asm/traps.h>
20 /* sys_cacheflush -- flush the processor cache. */
21 asmlinkage int sys_cacheflush(unsigned long addr, unsigned long len,
24 struct vm_area_struct *vma;
29 /* We only support op 0 now, return error if op is non-zero.*/
33 /* Check for overflow */
34 if (addr + len < addr)
38 * Verify that the specified address region actually belongs
41 vma = find_vma(current->mm, addr);
42 if (vma == NULL || addr < vma->vm_start || addr + len > vma->vm_end)
45 flush_cache_range(vma, addr, addr + len);
50 asmlinkage int sys_getpagesize(void)