27 		.domain = domid,  in xen_domctl_scheduler_op()
38 		.domain = domid,  in xen_domctl_pausedomain()
48 		.domain = domid,  in xen_domctl_unpausedomain()
58 		.domain = domid,  in xen_domctl_resumedomain()
68 		.domain = domid,  in xen_domctl_getvcpucontext()
81 		.domain = domid,  in xen_domctl_setvcpucontext()
95 		.domain = domid,  in xen_domctl_getdomaininfo()
113 		.domain = domid,  in xen_domctl_get_paging_mempool_size()
130 		.domain = domid,  in xen_domctl_set_paging_mempool_size()
141 		.domain = domid,  in xen_domctl_max_mem()
151 		.domain = domid,  in xen_domctl_set_address_size()
163 		.domain = domid,  in xen_domctl_iomem_permission()
179 		.domain = domid,  in xen_domctl_memory_mapping()
228 		.domain = domid,  in xen_domctl_assign_dt_device()
246 		.domain = domid,  in xen_domctl_bind_pt_irq()
269 		.domain = domid,  in xen_domctl_max_vcpus()
280 		.domain = domid,  in xen_domctl_createdomain()
291 		.domain = domid,  in xen_domctl_destroydomain()
301 		.domain = domid,  in xen_domctl_cacheflush()