/*
 * RISC-V-specific syscall decoders.
 *
 * Copyright (c) 2018-2025 The strace developers.
 * All rights reserved.
 *
 * SPDX-License-Identifier: LGPL-2.1-or-later
 */

#include "defs.h"

#ifdef RISCV64

# include "xlat/riscv_flush_icache_flags.h"

SYS_FUNC(riscv_flush_icache)
{
	/* uintptr_t start */
	tprints_arg_name("start");
	printaddr(tcp->u_arg[0]);

	/* uintptr_t end */
	tprints_arg_next_name("end");
	printaddr(tcp->u_arg[1]);

	/* uintptr_t flags */
	tprints_arg_next_name("flags");
	printflags64(riscv_flush_icache_flags, tcp->u_arg[2],
		     "SYS_RISCV_FLUSH_ICACHE_???");

	return RVAL_DECODED;
}

#endif /* RISCV64 */
