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 37 VKI_XEN_GUEST_HANDLE(vki_xen_pfn_t) extent_start;
46 VKI_XEN_GUEST_HANDLE(vki_xen_pfn_t) extent_start; /* OUT */
62 vki_xen_pfn_t gpfn;
67 vki_xen_pfn_t gpfn;
vki-xen-mmuext.h 30 vki_xen_pfn_t mfn;
40 vki_xen_pfn_t src_mfn;
vki-xen.h 62 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_pfn_t); variable
vki-xen-domctl.h 170 VKI_XEN_GUEST_HANDLE_64(vki_xen_pfn_t) array; /* IN/OUT */
349 vki_xen_pfn_t start_pfn, nr_pfns;
vki-xen-x86.h 27 typedef unsigned long vki_xen_pfn_t; typedef
  /external/valgrind/coregrind/m_syswrap/
syswrap-xen.c 140 sizeof(vki_xen_pfn_t) * memory_reservation->nr_extents);
146 sizeof(vki_xen_pfn_t) * memory_reservation->nr_extents);
751 domctl->u.getpageframeinfo3.num * sizeof(vki_xen_pfn_t));
    [all...]

Completed in 75 milliseconds