/* This file is autogenerated by tracetool, do not edit. */
/* SPDX-License-Identifier: GPL-2.0-or-later */

#ifndef TRACE_HW_NITRO_GENERATED_TRACERS_H
#define TRACE_HW_NITRO_GENERATED_TRACERS_H

#include "trace/control.h"

extern TraceEvent _TRACE_NITRO_SERIAL_VSOCK_EVENT_EVENT;
extern TraceEvent _TRACE_NITRO_HEARTBEAT_EVENT_EVENT;
extern TraceEvent _TRACE_NITRO_HEARTBEAT_DONE_EVENT;
extern uint16_t _TRACE_NITRO_SERIAL_VSOCK_EVENT_DSTATE;
extern uint16_t _TRACE_NITRO_HEARTBEAT_EVENT_DSTATE;
extern uint16_t _TRACE_NITRO_HEARTBEAT_DONE_DSTATE;
#define TRACE_NITRO_SERIAL_VSOCK_EVENT_ENABLED 1
#define TRACE_NITRO_HEARTBEAT_EVENT_ENABLED 1
#define TRACE_NITRO_HEARTBEAT_DONE_ENABLED 1
#include "qemu/log-for-trace.h"


#define TRACE_NITRO_SERIAL_VSOCK_EVENT_BACKEND_DSTATE() ( \
    trace_event_get_state_dynamic_by_id(TRACE_NITRO_SERIAL_VSOCK_EVENT) || \
    false)

static inline void trace_nitro_serial_vsock_event(int event)
{
    if (trace_event_get_state(TRACE_NITRO_SERIAL_VSOCK_EVENT)) {
        if (qemu_loglevel_mask(LOG_TRACE)) {
#line 4 "../hw/nitro/trace-events"
            qemu_log("nitro_serial_vsock_event " "event %d" "\n", event);
#line 32 "trace/trace-hw_nitro.h"
        }
    }
}

#define TRACE_NITRO_HEARTBEAT_EVENT_BACKEND_DSTATE() ( \
    trace_event_get_state_dynamic_by_id(TRACE_NITRO_HEARTBEAT_EVENT) || \
    false)

static inline void trace_nitro_heartbeat_event(int event)
{
    if (trace_event_get_state(TRACE_NITRO_HEARTBEAT_EVENT)) {
        if (qemu_loglevel_mask(LOG_TRACE)) {
#line 7 "../hw/nitro/trace-events"
            qemu_log("nitro_heartbeat_event " "event %d" "\n", event);
#line 47 "trace/trace-hw_nitro.h"
        }
    }
}

#define TRACE_NITRO_HEARTBEAT_DONE_BACKEND_DSTATE() ( \
    trace_event_get_state_dynamic_by_id(TRACE_NITRO_HEARTBEAT_DONE) || \
    false)

static inline void trace_nitro_heartbeat_done(void)
{
    if (trace_event_get_state(TRACE_NITRO_HEARTBEAT_DONE)) {
        if (qemu_loglevel_mask(LOG_TRACE)) {
#line 8 "../hw/nitro/trace-events"
            qemu_log("nitro_heartbeat_done " "enclave heartbeat received" "\n");
#line 62 "trace/trace-hw_nitro.h"
        }
    }
}
#endif /* TRACE_HW_NITRO_GENERATED_TRACERS_H */
