#include <kernel.h>
Go to the source code of this file.
◆ DEFINE_XEN_GUEST_HANDLE
#define DEFINE_XEN_GUEST_HANDLE |
( |
|
name | ) |
__DEFINE_XEN_GUEST_HANDLE(name, name) |
◆ int64_aligned_t
#define int64_aligned_t int64_t __aligned(8) |
◆ PRI_xen_pfn
◆ PRI_xen_ulong
◆ PRIu_xen_pfn
◆ set_xen_guest_handle
◆ set_xen_guest_handle_raw
#define set_xen_guest_handle_raw |
( |
|
hnd, |
|
|
|
val |
|
) |
| |
Value: do { \
__typeof__(&(hnd)) _sxghr_tmp = &(hnd); \
_sxghr_tmp->q = 0; \
_sxghr_tmp->p = val; \
} while (0)
◆ uint64_aligned_t
#define uint64_aligned_t uint64_t __aligned(8) |
◆ XEN_GUEST_HANDLE
#define XEN_GUEST_HANDLE |
( |
|
name | ) |
__XEN_GUEST_HANDLE(name) |
◆ XEN_GUEST_HANDLE_PARAM
#define XEN_GUEST_HANDLE_PARAM |
( |
|
name | ) |
__guest_handle_ ## name |
◆ XEN_HYPERCALL_TAG
#define XEN_HYPERCALL_TAG 0XEA1 |
◆ XEN_LEGACY_MAX_VCPUS
#define XEN_LEGACY_MAX_VCPUS 1 |
◆ arch_shared_info_t
◆ arch_vcpu_info_t
◆ xen_callback_t
◆ xen_pfn_t
◆ xen_ulong_t