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

  /external/valgrind/include/vki/
vki-xen-memory.h 56 VKI_XEN_GUEST_HANDLE(void) buffer;
65 VKI_XEN_GUEST_HANDLE(vki_xen_pfn_t) extent_start;
74 VKI_XEN_GUEST_HANDLE(vki_xen_pfn_t) extent_start; /* OUT */
vki-xen-gnttab.h 52 VKI_XEN_GUEST_HANDLE(vki_ulong) frame_list;
vki-xen-mmuext.h 65 VKI_XEN_GUEST_HANDLE(const_void) vcpumask;
vki-xen-xsm.h 40 VKI_XEN_GUEST_HANDLE(char) context;
vki-xen-tmem.h 31 typedef VKI_XEN_GUEST_HANDLE(char) vki_xen_tmem_cli_va_t;
vki-xen-x86.h 48 #define VKI_XEN_GUEST_HANDLE_64(name) VKI_XEN_GUEST_HANDLE(name)
52 #define VKI_XEN_GUEST_HANDLE(name) __VKI_XEN_GUEST_HANDLE(name)

Completed in 70 milliseconds