drivers/misc/pkvm_test/pkvm-mod1/hyp/events.h

#if !defined(__PKVM_SMC_FILTER_HYPEVENTS_H_) || defined(HYP_EVENT_MULTI_READ)
#define __PKVM_SMC_FILTER_HYPEVENTS_H_

#ifdef __KVM_NVHE_HYPERVISOR__
#include <trace.h>
#endif

HYP_EVENT(pkvm_mod1,
	HE_PROTO(u64 nr_calls),
	HE_STRUCT(
		he_field(u64, nr_calls)
	),
	HE_ASSIGN(
		__entry->nr_calls = nr_calls;
	),
	HE_PRINTK("nr_calls=%lld", __entry->nr_calls)
);
#endif