diff options
Diffstat (limited to 'include/xen')
-rw-r--r-- | include/xen/interface/vcpu.h | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/include/xen/interface/vcpu.h b/include/xen/interface/vcpu.h index c6218f1ad3ca..ff61ea365997 100644 --- a/include/xen/interface/vcpu.h +++ b/include/xen/interface/vcpu.h | |||
@@ -151,4 +151,17 @@ struct vcpu_set_singleshot_timer { | |||
151 | #define _VCPU_SSHOTTMR_future (0) | 151 | #define _VCPU_SSHOTTMR_future (0) |
152 | #define VCPU_SSHOTTMR_future (1U << _VCPU_SSHOTTMR_future) | 152 | #define VCPU_SSHOTTMR_future (1U << _VCPU_SSHOTTMR_future) |
153 | 153 | ||
154 | /* | ||
155 | * Register a memory location in the guest address space for the | ||
156 | * vcpu_info structure. This allows the guest to place the vcpu_info | ||
157 | * structure in a convenient place, such as in a per-cpu data area. | ||
158 | * The pointer need not be page aligned, but the structure must not | ||
159 | * cross a page boundary. | ||
160 | */ | ||
161 | #define VCPUOP_register_vcpu_info 10 /* arg == struct vcpu_info */ | ||
162 | struct vcpu_register_vcpu_info { | ||
163 | uint32_t mfn; /* mfn of page to place vcpu_info */ | ||
164 | uint32_t offset; /* offset within page */ | ||
165 | }; | ||
166 | |||
154 | #endif /* __XEN_PUBLIC_VCPU_H__ */ | 167 | #endif /* __XEN_PUBLIC_VCPU_H__ */ |