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

#ifndef TRACE_ACCEL_NITRO_GENERATED_TRACERS_H
#define TRACE_ACCEL_NITRO_GENERATED_TRACERS_H

#include "trace/control.h"

extern TraceEvent _TRACE_NITRO_ENCLAVE_STARTED_EVENT;
extern uint16_t _TRACE_NITRO_ENCLAVE_STARTED_DSTATE;
#define TRACE_NITRO_ENCLAVE_STARTED_ENABLED 1
#include "qemu/log-for-trace.h"


#define TRACE_NITRO_ENCLAVE_STARTED_BACKEND_DSTATE() ( \
    trace_event_get_state_dynamic_by_id(TRACE_NITRO_ENCLAVE_STARTED) || \
    false)

static inline void trace_nitro_enclave_started(uint64_t cid)
{
    if (trace_event_get_state(TRACE_NITRO_ENCLAVE_STARTED)) {
        if (qemu_loglevel_mask(LOG_TRACE)) {
#line 6 "../accel/nitro/trace-events"
            qemu_log("nitro_enclave_started " "nitro: enclave started, CID=%"PRIu64 "\n", cid);
#line 26 "trace/trace-accel_nitro.h"
        }
    }
}
#endif /* TRACE_ACCEL_NITRO_GENERATED_TRACERS_H */
