930
926
set_pte_at(&init_mm, address, ptep,
931
927
pfn_pte(pfn, PAGE_KERNEL));
932
928
__flush_tlb_single(address);
938
933
/* p2m(m2p(mfn)) == FOREIGN_FRAME(mfn): the mfn is already present
939
934
* somewhere in this domain, even before being added to the