1 /* RISC-V instruction cache flushing interface
2    Copyright (C) 2017-2021 Free Software Foundation, Inc.
3 
4    This file is part of the GNU C Library.
5 
6    The GNU C Library is free software; you can redistribute it and/or
7    modify it under the terms of the GNU Lesser General Public
8    License as published by the Free Software Foundation; either
9    version 2.1 of the License, or (at your option) any later version.
10 
11    The GNU C Library is distributed in the hope that it will be useful,
12    but WITHOUT ANY WARRANTY; without even the implied warranty of
13    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14    Lesser General Public License for more details.
15 
16    You should have received a copy of the GNU Lesser General Public
17    License along with the GNU C Library.  If not, see
18    <https://www.gnu.org/licenses/>.  */
19 
20 #ifndef _SYS_CACHECTL_H
21 #define _SYS_CACHECTL_H 1
22 
23 #include <features.h>
24 
25 __BEGIN_DECLS
26 
27 extern int __riscv_flush_icache (void *__start, void *__end,
28 				 unsigned long int __flags);
29 
30 __END_DECLS
31 
32 #endif /* sys/cachectl.h */
33