1234567891011121314151617181920212223242526272829 |
- /* cacheflush system call for Nios II Linux.
- Copyright (C) 2015-2019 Free Software Foundation, Inc.
- This file is part of the GNU C Library.
- The GNU C Library is free software; you can redistribute it and/or
- modify it under the terms of the GNU Lesser General Public
- License as published by the Free Software Foundation; either
- version 2.1 of the License, or (at your option) any later version.
- The GNU C Library is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
- Lesser General Public License for more details.
- You should have received a copy of the GNU Lesser General Public
- License along with the GNU C Library. If not, see
- <http://www.gnu.org/licenses/>. */
- #include <sysdep.h>
- #include <stddef.h>
- #include <unistd.h>
- /* Flush cache(s). */
- int
- _flush_cache (char *addr, const int nbytes, const int op)
- {
- return INLINE_SYSCALL (cacheflush, 3, addr, nbytes, op);
- }
- weak_alias (_flush_cache, cacheflush)
|