28 		.u.scheduler_op = *sched_op,  in xen_domctl_scheduler_op()
69 		.u.vcpucontext.vcpu = 0,  in xen_domctl_getvcpucontext()
72 	set_xen_guest_handle(domctl.u.vcpucontext.ctxt, ctxt);  in xen_domctl_getvcpucontext()
82 		.u.vcpucontext.vcpu = 0,  in xen_domctl_setvcpucontext()
85 	set_xen_guest_handle(domctl.u.vcpucontext.ctxt, ctxt);  in xen_domctl_setvcpucontext()
103 	memcpy(dom_info, &domctl.u.getdomaininfo, sizeof(*dom_info));  in xen_domctl_getdomaininfo()
121 	*size_mb = domctl.u.paging_mempool.size;  in xen_domctl_get_paging_mempool_size()
131 		.u.paging_mempool.size = size_mb,  in xen_domctl_set_paging_mempool_size()
142 		.u.max_mem.max_memkb = max_memkb,  in xen_domctl_max_mem()
153 		.u.address_size.size = addr_size,  in xen_domctl_set_address_size()
165 		.u.iomem_permission.first_mfn = first_mfn,  in xen_domctl_iomem_permission()
166 		.u.iomem_permission.nr_mfns = nr_mfns,  in xen_domctl_iomem_permission()
167 		.u.iomem_permission.allow_access = allow_access,  in xen_domctl_iomem_permission()
181 		.u.memory_mapping.add_mapping = add_mapping,  in xen_domctl_memory_mapping()
192 		domctl.u.memory_mapping.first_gfn = first_gfn + done;  in xen_domctl_memory_mapping()
193 		domctl.u.memory_mapping.first_mfn = first_mfn + done;  in xen_domctl_memory_mapping()
196 		domctl.u.memory_mapping.nr_mfns = curr;  in xen_domctl_memory_mapping()
230 		.u.assign_device.flags = 0,  in xen_domctl_assign_dt_device()
231 		.u.assign_device.dev = XEN_DOMCTL_DEV_DT,  in xen_domctl_assign_dt_device()
232 		.u.assign_device.u.dt.size = strlen(dtdev_path),  in xen_domctl_assign_dt_device()
235 	set_xen_guest_handle(domctl.u.assign_device.u.dt.path, dtdev_path);  in xen_domctl_assign_dt_device()
249 	struct xen_domctl_bind_pt_irq *bind = &(domctl.u.bind_pt_irq);  in xen_domctl_bind_pt_irq()
255 		bind->u.spi.spi = spi;  in xen_domctl_bind_pt_irq()
270 		.u.max_vcpus.max = max_vcpus,  in xen_domctl_max_vcpus()
281 		.u.createdomain = *config,  in xen_domctl_createdomain()
302 		.u.cacheflush = *cacheflush,  in xen_domctl_cacheflush()