Searched refs:vki_xen_pfn_t (Results 1 – 6 of 6) sorted by relevance
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;
57 vki_xen_pfn_t mfn;67 vki_xen_pfn_t src_mfn;
89 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_pfn_t);
202 VKI_XEN_GUEST_HANDLE_64(vki_xen_pfn_t) array; /* IN/OUT */454 vki_xen_pfn_t start_pfn, nr_pfns;
54 typedef unsigned long vki_xen_pfn_t; typedef
173 sizeof(vki_xen_pfn_t) * memory_reservation->nr_extents); in PRE()179 sizeof(vki_xen_pfn_t) * memory_reservation->nr_extents); in PRE()1058 domctl->u.getpageframeinfo3.num * sizeof(vki_xen_pfn_t)); in PRE()1348 sizeof(vki_xen_pfn_t) * memory_reservation->nr_extents); in POST()1358 sizeof(vki_xen_pfn_t) * arg->nr_extents); in POST()1866 domctl->u.getpageframeinfo3.num * sizeof(vki_xen_pfn_t)); in POST()