domctl.h File Reference

Xen Dom0 domain control operations. More...

#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)
	Perform a scheduler operation on a specified domain.
int	xen_domctl_pausedomain (int domid)
	Pause a domain in the Xen hypervisor.
int	xen_domctl_unpausedomain (int domid)
	Unpause a domain in the Xen hypervisor.
int	xen_domctl_resumedomain (int domid)
	Resumes a domain.
int	xen_domctl_getvcpucontext (int domid, int vcpu, vcpu_guest_context_t *ctxt)
	Get the guest context of a domain vCPU.
int	xen_domctl_setvcpucontext (int domid, int vcpu, vcpu_guest_context_t *ctxt)
	Set the guest context of a domain vCPU.
int	xen_domctl_getdomaininfo (int domid, xen_domctl_getdomaininfo_t *dom_info)
	Get summary information for a domain.
int	xen_domctl_get_paging_mempool_size (int domid, uint64_t *size)
	Get the paging mempool size for a domain.
int	xen_domctl_set_paging_mempool_size (int domid, uint64_t size)
	Set the paging mempool size for a domain.
int	xen_domctl_max_mem (int domid, uint64_t max_memkb)
	Set the maximum memory assigned to a domain.
int	xen_domctl_set_address_size (int domid, int addr_size)
	Set the address size used by a domain.
int	xen_domctl_iomem_permission (int domid, uint64_t first_mfn, uint64_t nr_mfns, uint8_t allow_access)
	Allow or deny I/O-memory access for a domain.
int	xen_domctl_memory_mapping (int domid, uint64_t first_gfn, uint64_t first_mfn, uint64_t nr_mfns, uint32_t add_mapping)
	Map or unmap a machine-memory range into a guest frame range.
int	xen_domctl_assign_dt_device (int domid, char *dtdev_path)
	Assign a devicetree-described device to a guest domain.
int	xen_domctl_deassign_dt_device (int domid, char *dtdev_path)
	Remove a devicetree-described device assignment from a guest domain.
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)
	Bind a physical interrupt to a guest domain.
int	xen_domctl_max_vcpus (int domid, int max_vcpus)
	Set the maximum number of vCPUs available to a domain.
int	xen_domctl_createdomain (int *domid, struct xen_domctl_createdomain *config)
	Create a new domain.
int	xen_domctl_cacheflush (int domid, struct xen_domctl_cacheflush *cacheflush)
	Clean and invalidate caches for a guest memory range.
int	xen_domctl_destroydomain (int domid)
	Destroy a domain.
int	xen_domctl_getvcpu (int domid, uint32_t vcpu, struct xen_domctl_getvcpuinfo *info)
	Query runtime information for one domain vCPU.

Detailed Description

Xen Dom0 domain control operations.