| DomainFlag | System.Xen.Types, System.Xen |
| DomainFlagBlocked | System.Xen.Types, System.Xen |
| DomainFlagCrashed | System.Xen.Types, System.Xen |
| DomainFlagDebugged | System.Xen.Types, System.Xen |
| DomainFlagDying | System.Xen.Types, System.Xen |
| DomainFlagHVM | System.Xen.Types, System.Xen |
| DomainFlagPaused | System.Xen.Types, System.Xen |
| DomainFlagRunning | System.Xen.Types, System.Xen |
| DomainFlagShutdown | System.Xen.Types, System.Xen |
| domainGetInfo | |
| 1 (Function) | System.Xen.Mid |
| 2 (Function) | System.Xen.High, System.Xen |
| DomainGetInfoError | |
| 1 (Type/Class) | System.Xen.Errors, System.Xen |
| 2 (Data Constructor) | System.Xen.Errors, System.Xen |
| DomainInfo | |
| 1 (Type/Class) | System.Xen.Types, System.Xen |
| 2 (Data Constructor) | System.Xen.Types, System.Xen |
| domainInfoCpuPool | System.Xen.Types, System.Xen |
| domainInfoCpuTime | System.Xen.Types, System.Xen |
| domainInfoDomHandle | System.Xen.Types, System.Xen |
| domainInfoFlags | System.Xen.Types, System.Xen |
| domainInfoId | System.Xen.Types, System.Xen |
| domainInfoMaxMemKb | System.Xen.Types, System.Xen |
| domainInfoMaxVcpuId | System.Xen.Types, System.Xen |
| domainInfoNubmerOfOnlineVcpus | System.Xen.Types, System.Xen |
| domainInfoNumberOfPages | System.Xen.Types, System.Xen |
| domainInfoNumberOfSharedPages | System.Xen.Types, System.Xen |
| domainInfoSharedInfoFrame | System.Xen.Types, System.Xen |
| domainInfoShutdownReason | System.Xen.Types, System.Xen |
| domainInfoSsidRef | System.Xen.Types, System.Xen |
| DomainShutdownReason | System.Xen.Types, System.Xen |
| DomainShutdownReasonCrash | System.Xen.Types, System.Xen |
| DomainShutdownReasonPoweroff | System.Xen.Types, System.Xen |
| DomainShutdownReasonReboot | System.Xen.Types, System.Xen |
| DomainShutdownReasonSuspend | System.Xen.Types, System.Xen |
| DomainShutdownReasonWatchdog | System.Xen.Types, System.Xen |
| DomId | |
| 1 (Type/Class) | System.Xen.Types, System.Xen |
| 2 (Data Constructor) | System.Xen.Types, System.Xen |
| getErrno | System.Xen.Errors |
| interfaceClose | System.Xen.Mid |
| interfaceOpen | System.Xen.Mid |
| InvalidDomainShutdownReason | |
| 1 (Type/Class) | System.Xen.Errors, System.Xen |
| 2 (Data Constructor) | System.Xen.Errors, System.Xen |
| runXen | System.Xen.High, System.Xen |
| unDomId | System.Xen.Types, System.Xen |
| withXenHandle | System.Xen.High |
| XcHandle | |
| 1 (Type/Class) | System.Xen.Types |
| 2 (Data Constructor) | System.Xen.Types |
| XcHandleOpenError | |
| 1 (Type/Class) | System.Xen.Errors, System.Xen |
| 2 (Data Constructor) | System.Xen.Errors, System.Xen |
| xc_domain_getinfo | System.Xen.Low |
| xc_interface_close | System.Xen.Low |
| xc_interface_open | System.Xen.Low |
| Xen | System.Xen.High, System.Xen |