Searched refs:VKI_XEN_GUEST_HANDLE_64 (Results 1 – 5 of 5) sorted by relevance
54 VKI_XEN_GUEST_HANDLE_64(char) buffer; /* IN */67 VKI_XEN_GUEST_HANDLE_64(vki_xen_domctl_getdomaininfo_00000007_t) buffer;76 VKI_XEN_GUEST_HANDLE_64(vki_xen_domctl_getdomaininfo_00000008_t) buffer;85 VKI_XEN_GUEST_HANDLE_64(vki_xen_domctl_getdomaininfo_00000009_t) buffer;112 VKI_XEN_GUEST_HANDLE_64(char) keys;118 VKI_XEN_GUEST_HANDLE_64(vki_uint32) cpu_to_core;119 VKI_XEN_GUEST_HANDLE_64(vki_uint32) cpu_to_socket;120 VKI_XEN_GUEST_HANDLE_64(vki_uint32) cpu_to_node;125 VKI_XEN_GUEST_HANDLE_64(vki_uint64) node_to_memsize;126 VKI_XEN_GUEST_HANDLE_64(vki_uint64) node_to_memfree;[all …]
202 VKI_XEN_GUEST_HANDLE_64(vki_xen_pfn_t) array; /* IN/OUT */248 VKI_XEN_GUEST_HANDLE_64(vki_uint8) dirty_bitmap;260 VKI_XEN_GUEST_HANDLE_64(vki_xen_vcpu_guest_context_t) ctxt; /* IN/OUT */356 VKI_XEN_GUEST_HANDLE_64(vki_uint8) buffer; /* IN/OUT */364 VKI_XEN_GUEST_HANDLE_64(vki_uint8) buffer; /* IN/OUT buffer */370 VKI_XEN_GUEST_HANDLE_64(vki_xen_guest_tsc_info_t) out_info; /* OUT */421 VKI_XEN_GUEST_HANDLE_64(vki_uint64) buffer;468 VKI_XEN_GUEST_HANDLE_64(vki_xen_domctl_vcpu_msr_t) msrs;
39 #define VKI_XEN_GUEST_HANDLE_64(name) __VKI_XEN_GUEST_HANDLE_64(name) macro48 #define VKI_XEN_GUEST_HANDLE_64(name) VKI_XEN_GUEST_HANDLE(name) macro
103 VKI_XEN_GUEST_HANDLE_64(vki_uint8) bitmap;
69 VKI_XEN_GUEST_HANDLE_64(vki_uint8) dirty_bitmap; /* OUT */