set_phys_to_machine
if (likely(set_phys_to_machine(map_ops[i].host_addr >> XEN_PAGE_SHIFT,
set_phys_to_machine(unmap_ops[i].host_addr >> XEN_PAGE_SHIFT,
extern bool set_phys_to_machine(unsigned long pfn, unsigned long mfn);
set_phys_to_machine(virt_to_pfn((void *)vaddr), mfn);
if (likely(set_phys_to_machine(pfn, FOREIGN_FRAME(mfn))))
set_phys_to_machine(pfn, INVALID_P2M_ENTRY);
if (!set_phys_to_machine(pfn, mfn))
set_phys_to_machine(pfn, INVALID_P2M_ENTRY);
if (!set_phys_to_machine(pfn, mfn)) {
if (!set_phys_to_machine(pfn + i, INVALID_P2M_ENTRY)) {
set_phys_to_machine(pfn, frames[i]);
if (!set_phys_to_machine(pfn + i, INVALID_P2M_ENTRY)) {