batch_add_pfn
if (!batch_add_pfn(batch, PHYS_PFN(phys)))
if (!batch_add_pfn(batch, xa_to_value(entry)) ||
if (!batch_add_pfn(batch, xa_to_value(entry)))
if (!batch_add_pfn(batch, page_to_pfn(*pages)))