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