xen_pfn_t
(xkb->xkb_max_mfn + 1) * sizeof (xen_pfn_t));
sz = sizeof (xen_pfn_t) * (xkb->xkb_max_pfn + 1);
if (xc->xc_p2m_buf != (xen_pfn_t *)MAP_FAILED)
xen_pfn_t xkb_max_pfn;
xen_pfn_t *xkb_m2p;
xkb->xkb_m2p = mdb_alloc((xkb->xkb_max_mfn + 1) * sizeof (xen_pfn_t),
if (xc->xc_p2m_buf == (xen_pfn_t *)MAP_FAILED) {
size = sizeof (xen_pfn_t) * (xkb->xkb_max_pfn + 1);
size = sizeof (xen_pfn_t) * (xkb->xkb_max_pfn + 1);
xen_pfn_t pfn = pos >> PAGE_SHIFT;
xkb_pfn_to_off(xkb_t *xkb, xen_pfn_t pfn)
xen_pfn_t pfn;
xen_pfn_t pfn;
xen_pfn_t pfn_to_mfn_frame_list_list;
xen_pfn_t mfn;
xen_pfn_t gmfn;
XEN_GUEST_HANDLE(xen_pfn_t) extent_start;
xen_pfn_t gpfn;
XEN_GUEST_HANDLE(xen_pfn_t) extent_start;
xen_pfn_t gmfn;
xen_pfn_t mfn;
xen_pfn_t mfn;
xen_pfn_t mfn;
xen_pfn_t src_mfn;
xen_pfn_t store_mfn; /* MACHINE page number of shared page. */
xen_pfn_t mfn; /* MACHINE page number of console page. */
DEFINE_XEN_GUEST_HANDLE(xen_pfn_t);
op.u.getmemlist.max_pfns * sizeof (xen_pfn_t), IE_EXPORT);