1 /* cacheflush system call for Nios II Linux.
2    Copyright (C) 2015-2022 Free Software Foundation, Inc.
3    This file is part of the GNU C Library.
4 
5    The GNU C Library is free software; you can redistribute it and/or
6    modify it under the terms of the GNU Lesser General Public
7    License as published by the Free Software Foundation; either
8    version 2.1 of the License, or (at your option) any later version.
9 
10    The GNU C Library is distributed in the hope that it will be useful,
11    but WITHOUT ANY WARRANTY; without even the implied warranty of
12    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
13    Lesser General Public License for more details.
14 
15    You should have received a copy of the GNU Lesser General Public
16    License along with the GNU C Library.  If not, see
17    <https://www.gnu.org/licenses/>.  */
18 
19 #include <sysdep.h>
20 #include <stddef.h>
21 #include <unistd.h>
22 
23 /* Flush cache(s).  */
24 int
_flush_cache(char * addr,const int nbytes,const int op)25 _flush_cache (char *addr, const int nbytes, const int op)
26 {
27   return INLINE_SYSCALL (cacheflush, 3, addr, nbytes, op);
28 }
29 weak_alias (_flush_cache, cacheflush)
30