1  /* RISC-V instruction cache flushing interface
       2     Copyright (C) 2017-2023 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 */