1 /*
2  * Copyright (C) 2018-2022 Intel Corporation.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include <types.h>
8 #include <asm/guest/vcpu.h>
9 
profiling_vmenter_handler(__unused struct acrn_vcpu * vcpu)10 void profiling_vmenter_handler(__unused struct acrn_vcpu *vcpu) {}
profiling_pre_vmexit_handler(__unused struct acrn_vcpu * vcpu)11 void profiling_pre_vmexit_handler(__unused struct acrn_vcpu *vcpu) {}
profiling_post_vmexit_handler(__unused struct acrn_vcpu * vcpu)12 void profiling_post_vmexit_handler(__unused struct acrn_vcpu *vcpu) {}
profiling_setup(void)13 void profiling_setup(void) {}
14