Zephyr Project API 3.7.0
A Scalable Open Source RTOS
Loading...
Searching...
No Matches
domctl.h
Go to the documentation of this file.
1/* SPDX-License-Identifier: Apache-2.0 */
2/*
3 * Copyright (c) 2023 EPAM Systems
4 *
5 */
6#ifndef __XEN_DOM0_DOMCTL_H__
7#define __XEN_DOM0_DOMCTL_H__
8
12
13#include <zephyr/kernel.h>
14
15int xen_domctl_scheduler_op(int domid, struct xen_domctl_scheduler_op *sched_op);
19int xen_domctl_getvcpucontext(int domid, int vcpu, vcpu_guest_context_t *ctxt);
20int xen_domctl_setvcpucontext(int domid, int vcpu, vcpu_guest_context_t *ctxt);
23int xen_domctl_max_mem(int domid, uint64_t max_memkb);
24int xen_domctl_set_address_size(int domid, int addr_size);
25int xen_domctl_iomem_permission(int domid, uint64_t first_mfn,
26 uint64_t nr_mfns, uint8_t allow_access);
27int xen_domctl_memory_mapping(int domid, uint64_t first_gfn, uint64_t first_mfn,
28 uint64_t nr_mfns, uint32_t add_mapping);
29int xen_domctl_assign_dt_device(int domid, char *dtdev_path);
30int xen_domctl_bind_pt_irq(int domid, uint32_t machine_irq, uint8_t irq_type, uint8_t bus,
31 uint8_t device, uint8_t intx, uint8_t isa_irq, uint16_t spi);
32int xen_domctl_max_vcpus(int domid, int max_vcpus);
33int xen_domctl_createdomain(int domid, struct xen_domctl_createdomain *config);
34int xen_domctl_cacheflush(int domid, struct xen_domctl_cacheflush *cacheflush);
36
37#endif /* __XEN_DOM0_DOMCTL_H__ */
int xen_domctl_resumedomain(int domid)
int xen_domctl_setvcpucontext(int domid, int vcpu, vcpu_guest_context_t *ctxt)
int xen_domctl_set_paging_mempool_size(int domid, uint64_t size_mb)
int xen_domctl_unpausedomain(int domid)
int xen_domctl_set_address_size(int domid, int addr_size)
int xen_domctl_getvcpucontext(int domid, int vcpu, vcpu_guest_context_t *ctxt)
int xen_domctl_destroydomain(int domid)
int xen_domctl_assign_dt_device(int domid, char *dtdev_path)
int xen_domctl_pausedomain(int domid)
Public kernel APIs.
__UINT32_TYPE__ uint32_t
Definition stdint.h:90
__UINT64_TYPE__ uint64_t
Definition stdint.h:91
__UINT8_TYPE__ uint8_t
Definition stdint.h:88
__UINT16_TYPE__ uint16_t
Definition stdint.h:89
Runtime device structure (in ROM) per driver instance.
Definition device.h:403
Definition domctl.h:341
Definition domctl.h:397
Definition domctl.h:31
Definition domctl.h:98
Definition domctl.h:285
Definition domctl.h:185
Definition domctl.h:206
Definition domctl.h:385
Definition domctl.h:264