17 static int do_domctl(xen_domctl_t *domctl)  in do_domctl()  function
31 	return do_domctl(&domctl);  in xen_domctl_scheduler_op()
41 	return do_domctl(&domctl);  in xen_domctl_pausedomain()
51 	return do_domctl(&domctl);  in xen_domctl_unpausedomain()
61 	return do_domctl(&domctl);  in xen_domctl_resumedomain()
74 	return do_domctl(&domctl);  in xen_domctl_getvcpucontext()
87 	return do_domctl(&domctl);  in xen_domctl_setvcpucontext()
98 	rc = do_domctl(&domctl);  in xen_domctl_getdomaininfo()
116 	rc = do_domctl(&domctl);  in xen_domctl_get_paging_mempool_size()
134 	return do_domctl(&domctl);  in xen_domctl_set_paging_mempool_size()
145 	return do_domctl(&domctl);  in xen_domctl_max_mem()
156 	return do_domctl(&domctl);  in xen_domctl_set_address_size()
170 	return do_domctl(&domctl);  in xen_domctl_iomem_permission()
198 		ret = do_domctl(&domctl);  in xen_domctl_memory_mapping()
237 	return do_domctl(&domctl);  in xen_domctl_assign_dt_device()
262 	return do_domctl(&domctl);  in xen_domctl_bind_pt_irq()
273 	return do_domctl(&domctl);  in xen_domctl_max_vcpus()
284 	return do_domctl(&domctl);  in xen_domctl_createdomain()
294 	return do_domctl(&domctl);  in xen_domctl_destroydomain()
305 	return do_domctl(&domctl);  in xen_domctl_cacheflush()