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

  /external/valgrind/include/vki/
vki-xen-memory.h 65 VKI_XEN_GUEST_HANDLE(vki_xen_pfn_t) extent_start;
74 VKI_XEN_GUEST_HANDLE(vki_xen_pfn_t) extent_start; /* OUT */
90 vki_xen_pfn_t gpfn;
95 vki_xen_pfn_t gpfn;
vki-xen-mmuext.h 57 vki_xen_pfn_t mfn;
67 vki_xen_pfn_t src_mfn;
vki-xen.h 89 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_pfn_t); variable
vki-xen-domctl.h 202 VKI_XEN_GUEST_HANDLE_64(vki_xen_pfn_t) array; /* IN/OUT */
454 vki_xen_pfn_t start_pfn, nr_pfns;
vki-xen-x86.h 54 typedef unsigned long vki_xen_pfn_t; typedef
  /external/valgrind/coregrind/m_syswrap/
syswrap-xen.c 173 sizeof(vki_xen_pfn_t) * memory_reservation->nr_extents);
179 sizeof(vki_xen_pfn_t) * memory_reservation->nr_extents);
    [all...]

Completed in 84 milliseconds