/* SPDX-License-Identifier: GPL-2.0 */
#undef TRACE_SYSTEM
#define TRACE_SYSTEM rv

#if !defined(_TRACE_RV_H) || defined(TRACE_HEADER_MULTI_READ)
#define _TRACE_RV_H

#include <linux/rv.h>
#include <linux/tracepoint.h>

#ifdef CONFIG_DA_MON_EVENTS_IMPLICIT
DECLARE_EVENT_CLASS(event_da_monitor,

	TP_PROTO(char *state, char *event, char *next_state, bool final_state),

	TP_ARGS(state, event, next_state, final_state),

	TP_STRUCT__entry(
		__string(	state,		state		)
		__string(	event,		event		)
		__string(	next_state,	next_state	)
		__field(	bool,		final_state	)
	),

	TP_fast_assign(
		__assign_str(state);
		__assign_str(event);
		__assign_str(next_state);
		__entry->final_state = final_state;
	),

	TP_printk("%s x %s -> %s%s",
		__get_str(state),
		__get_str(event),
		__get_str(next_state),
		__entry->final_state ? " (final)" : "")
);

DECLARE_EVENT_CLASS(error_da_monitor,

	TP_PROTO(char *state, char *event),

	TP_ARGS(state, event),

	TP_STRUCT__entry(
		__string(	state,	state	)
		__string(	event,	event	)
	),

	TP_fast_assign(
		__assign_str(state);
		__assign_str(event);
	),

	TP_printk("event %s not expected in the state %s",
		__get_str(event),
		__get_str(state))
);

#include <monitors/wip/wip_trace.h>
#include <monitors/sco/sco_trace.h>
#include <monitors/scpd/scpd_trace.h>
#include <monitors/snep/snep_trace.h>
#include <monitors/sts/sts_trace.h>
#include <monitors/opid/opid_trace.h>
// Add new monitors based on CONFIG_DA_MON_EVENTS_IMPLICIT here

#endif /* CONFIG_DA_MON_EVENTS_IMPLICIT */

#ifdef CONFIG_DA_MON_EVENTS_ID
DECLARE_EVENT_CLASS(event_da_monitor_id,

	TP_PROTO(int id, char *state, char *event, char *next_state, bool final_state),

	TP_ARGS(id, state, event, next_state, final_state),

	TP_STRUCT__entry(
		__field(	int,		id		)
		__string(	state,		state		)
		__string(	event,		event		)
		__string(	next_state,	next_state	)
		__field(	bool,		final_state	)
	),

	TP_fast_assign(
		__assign_str(state);
		__assign_str(event);
		__assign_str(next_state);
		__entry->id		= id;
		__entry->final_state	= final_state;
	),

	TP_printk("%d: %s x %s -> %s%s",
		__entry->id,
		__get_str(state),
		__get_str(event),
		__get_str(next_state),
		__entry->final_state ? " (final)" : "")
);

DECLARE_EVENT_CLASS(error_da_monitor_id,

	TP_PROTO(int id, char *state, char *event),

	TP_ARGS(id, state, event),

	TP_STRUCT__entry(
		__field(	int,	id	)
		__string(	state,	state	)
		__string(	event,	event	)
	),

	TP_fast_assign(
		__assign_str(state);
		__assign_str(event);
		__entry->id	= id;
	),

	TP_printk("%d: event %s not expected in the state %s",
		__entry->id,
		__get_str(event),
		__get_str(state))
);

#include <monitors/wwnr/wwnr_trace.h>
#include <monitors/snroc/snroc_trace.h>
#include <monitors/nrp/nrp_trace.h>
#include <monitors/sssw/sssw_trace.h>
// Add new monitors based on CONFIG_DA_MON_EVENTS_ID here

#endif /* CONFIG_DA_MON_EVENTS_ID */
#ifdef CONFIG_LTL_MON_EVENTS_ID
DECLARE_EVENT_CLASS(event_ltl_monitor_id,

	TP_PROTO(struct task_struct *task, char *states, char *atoms, char *next),

	TP_ARGS(task, states, atoms, next),

	TP_STRUCT__entry(
		__string(comm, task->comm)
		__field(pid_t, pid)
		__string(states, states)
		__string(atoms, atoms)
		__string(next, next)
	),

	TP_fast_assign(
		__assign_str(comm);
		__entry->pid = task->pid;
		__assign_str(states);
		__assign_str(atoms);
		__assign_str(next);
	),

	TP_printk("%s[%d]: (%s) x (%s) -> (%s)", __get_str(comm), __entry->pid,
		  __get_str(states), __get_str(atoms), __get_str(next))
);

DECLARE_EVENT_CLASS(error_ltl_monitor_id,

	TP_PROTO(struct task_struct *task),

	TP_ARGS(task),

	TP_STRUCT__entry(
		__string(comm, task->comm)
		__field(pid_t, pid)
	),

	TP_fast_assign(
		__assign_str(comm);
		__entry->pid = task->pid;
	),

	TP_printk("%s[%d]: violation detected", __get_str(comm), __entry->pid)
);
#include <monitors/pagefault/pagefault_trace.h>
#include <monitors/sleep/sleep_trace.h>
// Add new monitors based on CONFIG_LTL_MON_EVENTS_ID here
#endif /* CONFIG_LTL_MON_EVENTS_ID */

#ifdef CONFIG_RV_MON_MAINTENANCE_EVENTS
/* Tracepoint useful for monitors development, currenly only used in DA */
TRACE_EVENT(rv_retries_error,

	TP_PROTO(char *name, char *event),

	TP_ARGS(name, event),

	TP_STRUCT__entry(
		__string(	name,	name	)
		__string(	event,	event	)
	),

	TP_fast_assign(
		__assign_str(name);
		__assign_str(event);
	),

	TP_printk(__stringify(MAX_DA_RETRY_RACING_EVENTS)
		" retries reached for event %s, resetting monitor %s",
		__get_str(event), __get_str(name))
);
#endif /* CONFIG_RV_MON_MAINTENANCE_EVENTS */
#endif /* _TRACE_RV_H */

/* This part must be outside protection */
#undef TRACE_INCLUDE_PATH
#define TRACE_INCLUDE_PATH .
#undef TRACE_INCLUDE_FILE
#define TRACE_INCLUDE_FILE rv_trace
#include <trace/define_trace.h>