1 #ifndef __COMMON_X86__H
2 #define __COMMON_X86__H
3 
4 #include "xc_sr_common.h"
5 
6 /*
7  * Obtains a domains TSC information from Xen and writes a X86_TSC_INFO record
8  * into the stream.
9  */
10 int write_x86_tsc_info(struct xc_sr_context *ctx);
11 
12 /*
13  * Parses a X86_TSC_INFO record and applies the result to the domain.
14  */
15 int handle_x86_tsc_info(struct xc_sr_context *ctx, struct xc_sr_record *rec);
16 
17 /*
18  * Obtains a domains CPU Policy from Xen, and writes X86_{CPUID,MSR}_POLICY
19  * records into the stream.
20  */
21 int write_x86_cpu_policy_records(struct xc_sr_context *ctx);
22 
23 /*
24  * Parses an X86_CPUID_POLICY record and stashes the content for application
25  * when a STATIC_DATA_END record is encountered.
26  */
27 int handle_x86_cpuid_policy(struct xc_sr_context *ctx,
28                             struct xc_sr_record *rec);
29 
30 /*
31  * Parses an X86_MSR_POLICY record and stashes the content for application
32  * when a STATIC_DATA_END record is encountered.
33  */
34 int handle_x86_msr_policy(struct xc_sr_context *ctx,
35                           struct xc_sr_record *rec);
36 
37 /*
38  * Perform common x86 actions required after the static data has arrived.
39  */
40 int x86_static_data_complete(struct xc_sr_context *ctx, unsigned int *missing);
41 
42 #endif
43 /*
44  * Local variables:
45  * mode: C
46  * c-file-style: "BSD"
47  * c-basic-offset: 4
48  * tab-width: 4
49  * indent-tabs-mode: nil
50  * End:
51  */
52