#include <domctl.h>

Data Fields
domid_t	domain

uint16_t	pad1

uint32_t	flags

uint64_t	tot_pages

uint64_t	max_pages

uint64_t	outstanding_pages

uint64_t	shr_pages

uint64_t	paged_pages

uint64_t	shared_info_frame

uint64_t	cpu_time

uint32_t	nr_online_vcpus

uint32_t	max_vcpu_id

uint32_t	ssidref

xen_domain_handle_t	handle

uint32_t	cpupool

uint8_t	gpaddr_bits

uint8_t	pad2 [7]

struct xen_arch_domainconfig	arch_config

Field Documentation

◆ arch_config

struct xen_arch_domainconfig xen_domctl_getdomaininfo::arch_config

◆ cpu_time

uint64_t xen_domctl_getdomaininfo::cpu_time

◆ cpupool

uint32_t xen_domctl_getdomaininfo::cpupool

◆ domain

domid_t xen_domctl_getdomaininfo::domain

◆ flags

uint32_t xen_domctl_getdomaininfo::flags

◆ gpaddr_bits

uint8_t xen_domctl_getdomaininfo::gpaddr_bits

◆ handle

xen_domain_handle_t xen_domctl_getdomaininfo::handle

◆ max_pages

uint64_t xen_domctl_getdomaininfo::max_pages

◆ max_vcpu_id

uint32_t xen_domctl_getdomaininfo::max_vcpu_id

◆ nr_online_vcpus

uint32_t xen_domctl_getdomaininfo::nr_online_vcpus

◆ outstanding_pages

uint64_t xen_domctl_getdomaininfo::outstanding_pages

◆ pad1

uint16_t xen_domctl_getdomaininfo::pad1

◆ pad2

uint8_t xen_domctl_getdomaininfo::pad2[7]

◆ paged_pages

uint64_t xen_domctl_getdomaininfo::paged_pages

◆ shared_info_frame

uint64_t xen_domctl_getdomaininfo::shared_info_frame

◆ shr_pages

uint64_t xen_domctl_getdomaininfo::shr_pages

◆ ssidref

uint32_t xen_domctl_getdomaininfo::ssidref

◆ tot_pages

uint64_t xen_domctl_getdomaininfo::tot_pages

The documentation for this struct was generated from the following file:

include/zephyr/xen/public/domctl.h

Data Fields