![]() |
Zephyr API 4.4.99
A Scalable Open Source RTOS
|
#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 |
| struct xen_arch_domainconfig xen_domctl_getdomaininfo::arch_config |
| uint64_t xen_domctl_getdomaininfo::cpu_time |
| uint32_t xen_domctl_getdomaininfo::cpupool |
| domid_t xen_domctl_getdomaininfo::domain |
| uint32_t xen_domctl_getdomaininfo::flags |
| uint8_t xen_domctl_getdomaininfo::gpaddr_bits |
| xen_domain_handle_t xen_domctl_getdomaininfo::handle |
| uint64_t xen_domctl_getdomaininfo::max_pages |
| uint32_t xen_domctl_getdomaininfo::max_vcpu_id |
| uint32_t xen_domctl_getdomaininfo::nr_online_vcpus |
| uint64_t xen_domctl_getdomaininfo::outstanding_pages |
| uint16_t xen_domctl_getdomaininfo::pad1 |
| uint8_t xen_domctl_getdomaininfo::pad2[7] |
| uint64_t xen_domctl_getdomaininfo::paged_pages |
| uint64_t xen_domctl_getdomaininfo::shared_info_frame |
| uint64_t xen_domctl_getdomaininfo::shr_pages |
| uint32_t xen_domctl_getdomaininfo::ssidref |
| uint64_t xen_domctl_getdomaininfo::tot_pages |