HomeSort by relevance Sort by last modified time
    Searched refs:VKI_XEN_GUEST_HANDLE_64 (Results 1 - 5 of 5) sorted by null

  /external/valgrind/include/vki/
vki-xen-sysctl.h 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...]
vki-xen-domctl.h 206 VKI_XEN_GUEST_HANDLE_64(vki_xen_pfn_t) array; /* IN/OUT */
252 VKI_XEN_GUEST_HANDLE_64(vki_uint8) dirty_bitmap;
264 VKI_XEN_GUEST_HANDLE_64(vki_xen_vcpu_guest_context_t) ctxt; /* IN/OUT */
359 VKI_XEN_GUEST_HANDLE_64(vki_xen_guest_tsc_info_t) out_info; /* OUT */
376 VKI_XEN_GUEST_HANDLE_64(vki_uint8) buffer; /* IN/OUT */
384 VKI_XEN_GUEST_HANDLE_64(vki_uint8) buffer; /* IN/OUT buffer */
437 VKI_XEN_GUEST_HANDLE_64(vki_uint64) buffer;
459 VKI_XEN_GUEST_HANDLE_64(vki_uint8) path; /* path to the device tree node */
506 VKI_XEN_GUEST_HANDLE_64(vki_xen_domctl_vcpu_msr_t) msrs;
vki-xen-hvm.h 69 VKI_XEN_GUEST_HANDLE_64(vki_uint8) dirty_bitmap; /* OUT */
vki-xen.h 103 VKI_XEN_GUEST_HANDLE_64(vki_uint8) bitmap;
vki-xen-x86.h 39 #define VKI_XEN_GUEST_HANDLE_64(name) __VKI_XEN_GUEST_HANDLE_64(name)
48 #define VKI_XEN_GUEST_HANDLE_64(name) VKI_XEN_GUEST_HANDLE(name)

Completed in 230 milliseconds