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 TSC_INFO record
8  * into the stream.
9  */
10 int write_tsc_info(struct xc_sr_context *ctx);
11 
12 /*
13  * Parses a TSC_INFO record and applies the result to the domain.
14  */
15 int handle_tsc_info(struct xc_sr_context *ctx, struct xc_sr_record *rec);
16 
17 #endif
18 /*
19  * Local variables:
20  * mode: C
21  * c-file-style: "BSD"
22  * c-basic-offset: 4
23  * tab-width: 4
24  * indent-tabs-mode: nil
25  * End:
26  */
27