domctl.h File Reference

#include <zephyr/xen/generic.h>
#include <zephyr/xen/public/domctl.h>
#include <zephyr/xen/public/xen.h>
#include <zephyr/kernel.h>

Go to the source code of this file.

Functions
int	xen_domctl_scheduler_op (int domid, struct xen_domctl_scheduler_op *sched_op)
int	xen_domctl_pausedomain (int domid)
int	xen_domctl_unpausedomain (int domid)
int	xen_domctl_resumedomain (int domid)
int	xen_domctl_getvcpucontext (int domid, int vcpu, vcpu_guest_context_t *ctxt)
int	xen_domctl_setvcpucontext (int domid, int vcpu, vcpu_guest_context_t *ctxt)
int	xen_domctl_getdomaininfo (int domid, xen_domctl_getdomaininfo_t *dom_info)
int	xen_domctl_set_paging_mempool_size (int domid, uint64_t size_mb)
int	xen_domctl_max_mem (int domid, uint64_t max_memkb)
int	xen_domctl_set_address_size (int domid, int addr_size)
int	xen_domctl_iomem_permission (int domid, uint64_t first_mfn, uint64_t nr_mfns, uint8_t allow_access)
int	xen_domctl_memory_mapping (int domid, uint64_t first_gfn, uint64_t first_mfn, uint64_t nr_mfns, uint32_t add_mapping)
int	xen_domctl_assign_dt_device (int domid, char *dtdev_path)
int	xen_domctl_bind_pt_irq (int domid, uint32_t machine_irq, uint8_t irq_type, uint8_t bus, uint8_t device, uint8_t intx, uint8_t isa_irq, uint16_t spi)
int	xen_domctl_max_vcpus (int domid, int max_vcpus)
int	xen_domctl_createdomain (int domid, struct xen_domctl_createdomain *config)
int	xen_domctl_cacheflush (int domid, struct xen_domctl_cacheflush *cacheflush)
int	xen_domctl_destroydomain (int domid)

Function Documentation

xen_domctl_assign_dt_device()

int xen_domctl_assign_dt_device	(	int	domid,
		char *	dtdev_path
	)

xen_domctl_bind_pt_irq()

int xen_domctl_bind_pt_irq	(	int	domid,
		uint32_t	machine_irq,
		uint8_t	irq_type,
		uint8_t	bus,
		uint8_t	device,
		uint8_t	intx,
		uint8_t	isa_irq,
		uint16_t	spi
	)

xen_domctl_cacheflush()

int xen_domctl_cacheflush	(	int	domid,
		struct xen_domctl_cacheflush *	cacheflush
	)

xen_domctl_createdomain()

int xen_domctl_createdomain	(	int	domid,
		struct xen_domctl_createdomain *	config
	)

xen_domctl_destroydomain()

int xen_domctl_destroydomain

(

int

domid

)

xen_domctl_getdomaininfo()

int xen_domctl_getdomaininfo	(	int	domid,
		xen_domctl_getdomaininfo_t *	dom_info
	)

xen_domctl_getvcpucontext()

int xen_domctl_getvcpucontext	(	int	domid,
		int	vcpu,
		vcpu_guest_context_t *	ctxt
	)

xen_domctl_iomem_permission()

int xen_domctl_iomem_permission	(	int	domid,
		uint64_t	first_mfn,
		uint64_t	nr_mfns,
		uint8_t	allow_access
	)

xen_domctl_max_mem()

int xen_domctl_max_mem	(	int	domid,
		uint64_t	max_memkb
	)

xen_domctl_max_vcpus()

int xen_domctl_max_vcpus	(	int	domid,
		int	max_vcpus
	)

xen_domctl_memory_mapping()

int xen_domctl_memory_mapping	(	int	domid,
		uint64_t	first_gfn,
		uint64_t	first_mfn,
		uint64_t	nr_mfns,
		uint32_t	add_mapping
	)

xen_domctl_pausedomain()

int xen_domctl_pausedomain

(

int

domid

)

xen_domctl_resumedomain()

int xen_domctl_resumedomain

(

int

domid

)

xen_domctl_scheduler_op()

int xen_domctl_scheduler_op	(	int	domid,
		struct xen_domctl_scheduler_op *	sched_op
	)

xen_domctl_set_address_size()

int xen_domctl_set_address_size	(	int	domid,
		int	addr_size
	)

xen_domctl_set_paging_mempool_size()

int xen_domctl_set_paging_mempool_size	(	int	domid,
		uint64_t	size_mb
	)

xen_domctl_setvcpucontext()

int xen_domctl_setvcpucontext	(	int	domid,
		int	vcpu,
		vcpu_guest_context_t *	ctxt
	)

xen_domctl_unpausedomain()

int xen_domctl_unpausedomain

(

int

domid

)