Zephyr API Documentation
3.7.0
A Scalable Open Source RTOS
|
Go to the source code of this file.
Data Structures | |
struct | vcpu_time_info |
struct | vcpu_info |
struct | shared_info |
struct | xenctl_bitmap |
Macros | |
#define | XEN_FLEX_ARRAY_DIM 1 /* variable size */ |
#define | xen_mk_uint(x) __xen_mk_uint(x) |
#define | xen_mk_ulong(x) __xen_mk_ulong(x) |
#define | xen_mk_ullong(x) __xen_mk_ullong(x) |
#define | CONSOLEIO_write 0 |
#define | CONSOLEIO_read 1 |
#define | DOMID_FIRST_RESERVED xen_mk_uint(0x7FF0) |
#define | DOMID_SELF xen_mk_uint(0x7FF0) |
#define | DOMID_IO xen_mk_uint(0x7FF1) |
#define | DOMID_XEN xen_mk_uint(0x7FF2) |
#define | DOMID_COW xen_mk_uint(0x7FF3) |
#define | DOMID_INVALID xen_mk_uint(0x7FF4) |
#define | DOMID_IDLE xen_mk_uint(0x7FFF) |
#define | DOMID_MASK xen_mk_uint(0x7FFF) |
#define | NR_EVENT_CHANNELS EVTCHN_2L_NR_CHANNELS |
#define | XEN_PVCLOCK_TSC_STABLE_BIT (1 << 0) |
#define | XEN_PVCLOCK_GUEST_STOPPED (1 << 1) |
#define | xen_wc_sec_hi wc_sec_hi |
#define | int64_aligned_t int64_t |
#define | uint64_aligned_t uint64_t |
Typedefs | |
typedef uint16_t | domid_t |
typedef struct vcpu_time_info | vcpu_time_info_t |
typedef struct vcpu_info | vcpu_info_t |
typedef struct shared_info | shared_info_t |
typedef uint8_t | xen_domain_handle_t[16] |
typedef struct xenctl_bitmap | xenctl_bitmap_t |
Functions | |
DEFINE_XEN_GUEST_HANDLE (char) | |
DEFINE_XEN_GUEST_HANDLE (int) | |
DEFINE_XEN_GUEST_HANDLE (long) | |
DEFINE_XEN_GUEST_HANDLE (void) | |
DEFINE_XEN_GUEST_HANDLE (uint8_t) | |
DEFINE_XEN_GUEST_HANDLE (uint64_t) | |
#define CONSOLEIO_read 1 |
#define CONSOLEIO_write 0 |
#define DOMID_COW xen_mk_uint(0x7FF3) |
#define DOMID_FIRST_RESERVED xen_mk_uint(0x7FF0) |
#define DOMID_IDLE xen_mk_uint(0x7FFF) |
#define DOMID_INVALID xen_mk_uint(0x7FF4) |
#define DOMID_IO xen_mk_uint(0x7FF1) |
#define DOMID_MASK xen_mk_uint(0x7FFF) |
#define DOMID_SELF xen_mk_uint(0x7FF0) |
#define DOMID_XEN xen_mk_uint(0x7FF2) |
#define int64_aligned_t int64_t |
#define NR_EVENT_CHANNELS EVTCHN_2L_NR_CHANNELS |
#define uint64_aligned_t uint64_t |
#define XEN_FLEX_ARRAY_DIM 1 /* variable size */ |
#define xen_mk_uint | ( | x | ) | __xen_mk_uint(x) |
#define xen_mk_ullong | ( | x | ) | __xen_mk_ullong(x) |
#define xen_mk_ulong | ( | x | ) | __xen_mk_ulong(x) |
#define XEN_PVCLOCK_GUEST_STOPPED (1 << 1) |
#define XEN_PVCLOCK_TSC_STABLE_BIT (1 << 0) |
#define xen_wc_sec_hi wc_sec_hi |
typedef struct shared_info shared_info_t |
typedef struct vcpu_info vcpu_info_t |
typedef struct vcpu_time_info vcpu_time_info_t |
typedef uint8_t xen_domain_handle_t[16] |
typedef struct xenctl_bitmap xenctl_bitmap_t |
DEFINE_XEN_GUEST_HANDLE | ( | char | ) |
DEFINE_XEN_GUEST_HANDLE | ( | int | ) |
DEFINE_XEN_GUEST_HANDLE | ( | long | ) |
DEFINE_XEN_GUEST_HANDLE | ( | uint64_t | ) |
DEFINE_XEN_GUEST_HANDLE | ( | uint8_t | ) |
DEFINE_XEN_GUEST_HANDLE | ( | void | ) |