1  /*
       2   * RISC-V-specific syscall decoders.
       3   *
       4   * Copyright (c) 2018-2021 The strace developers.
       5   * All rights reserved.
       6   *
       7   * SPDX-License-Identifier: LGPL-2.1-or-later
       8   */
       9  
      10  #include "defs.h"
      11  
      12  #ifdef RISCV64
      13  
      14  # include "xlat/riscv_flush_icache_flags.h"
      15  
      16  SYS_FUNC(riscv_flush_icache)
      17  {
      18  	/* uintptr_t start */
      19  	printaddr(tcp->u_arg[0]);
      20  	tprint_arg_next();
      21  
      22  	/* uintptr_t end */
      23  	printaddr(tcp->u_arg[1]);
      24  	tprint_arg_next();
      25  
      26  	/* uintptr_t flags */
      27  	printflags64(riscv_flush_icache_flags, tcp->u_arg[2],
      28  		     "SYS_RISCV_FLUSH_ICACHE_???");
      29  
      30  	return RVAL_DECODED;
      31  }
      32  
      33  #endif /* RISCV64 */