__PRE_XEN_DOMCTL_READ(setvcpucontext, vcpucontext, ctxt.p);
break;
+ case VKI_XEN_DOMCTL_pin_mem_cacheattr:
+ PRE_XEN_DOMCTL_READ(pin_mem_cacheattr, start);
+ PRE_XEN_DOMCTL_READ(pin_mem_cacheattr, end);
+ PRE_XEN_DOMCTL_READ(pin_mem_cacheattr, type);
+ break;
+
case VKI_XEN_DOMCTL_get_ext_vcpucontext:
switch (domctl->interface_version)
{
case VKI_XEN_DOMCTL_ioport_permission:
case VKI_XEN_DOMCTL_hypercall_init:
case VKI_XEN_DOMCTL_setvcpucontext:
+ case VKI_XEN_DOMCTL_pin_mem_cacheattr:
case VKI_XEN_DOMCTL_set_ext_vcpucontext:
case VKI_XEN_DOMCTL_setnodeaffinity:
case VKI_XEN_DOMCTL_set_cpuid:
vki_xen_guest_tsc_info_t info; /* IN */
};
+struct vki_xen_domctl_pin_mem_cacheattr {
+ vki_xen_uint64_aligned_t start, end; /* IN */
+ vki_uint32_t type; /* IN */
+};
+
struct vki_xen_domctl_ext_vcpucontext_00000008 {
vki_uint32_t vcpu; /* IN */
//struct vki_xen_domctl_bind_pt_irq bind_pt_irq;
//struct vki_xen_domctl_memory_mapping memory_mapping;
//struct vki_xen_domctl_ioport_mapping ioport_mapping;
- //struct vki_xen_domctl_pin_mem_cacheattr pin_mem_cacheattr;
+ struct vki_xen_domctl_pin_mem_cacheattr pin_mem_cacheattr;
struct vki_xen_domctl_ext_vcpucontext_00000008 ext_vcpucontext_00000008;
struct vki_xen_domctl_ext_vcpucontext_00000009 ext_vcpucontext_00000009;
//struct vki_xen_domctl_set_target set_target;