| /* SPDX-License-Identifier: GPL-2.0 */ | |
| #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(filtered_smc, | |
| HE_PROTO(u64 smc_id), | |
| HE_STRUCT( | |
| he_field(u64, smc_id) | |
| ), | |
| HE_ASSIGN( | |
| __entry->smc_id = smc_id; | |
| ), | |
| HE_PRINTK("smc_id = 0x%08llx", __entry->smc_id) | |
| ); | |
| #endif |