1 /*
2  * Copyright (C) 2018-2022 Intel Corporation.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef PROFILING_H
8 #define PROFILING_H
9 
10 #ifdef PROFILING_ON
11 #include <profiling_internal.h>
12 #endif
13 
14 struct acrn_vcpu;
15 
16 void profiling_vmenter_handler(struct acrn_vcpu *vcpu);
17 void profiling_pre_vmexit_handler(struct acrn_vcpu *vcpu);
18 void profiling_post_vmexit_handler(struct acrn_vcpu *vcpu);
19 void profiling_setup(void);
20 
21 #endif /* PROFILING_H */
22