Lines Matching full:int
15 int xen_domctl_scheduler_op(int domid, struct xen_domctl_scheduler_op *sched_op);
16 int xen_domctl_pausedomain(int domid);
17 int xen_domctl_unpausedomain(int domid);
18 int xen_domctl_resumedomain(int domid);
19 int xen_domctl_getvcpucontext(int domid, int vcpu, vcpu_guest_context_t *ctxt);
20 int xen_domctl_setvcpucontext(int domid, int vcpu, vcpu_guest_context_t *ctxt);
21 int xen_domctl_getdomaininfo(int domid, xen_domctl_getdomaininfo_t *dom_info);
22 int xen_domctl_set_paging_mempool_size(int domid, uint64_t size_mb);
23 int xen_domctl_max_mem(int domid, uint64_t max_memkb);
24 int xen_domctl_set_address_size(int domid, int addr_size);
25 int xen_domctl_iomem_permission(int domid, uint64_t first_mfn,
27 int xen_domctl_memory_mapping(int domid, uint64_t first_gfn, uint64_t first_mfn,
29 int xen_domctl_assign_dt_device(int domid, char *dtdev_path);
30 int xen_domctl_bind_pt_irq(int domid, uint32_t machine_irq, uint8_t irq_type, uint8_t bus,
32 int xen_domctl_max_vcpus(int domid, int max_vcpus);
33 int xen_domctl_createdomain(int domid, struct xen_domctl_createdomain *config);
34 int xen_domctl_cacheflush(int domid, struct xen_domctl_cacheflush *cacheflush);
35 int xen_domctl_destroydomain(int domid);