/* Associate a virtual page frame with a given physical page frame and protection flags for that frame.  */
void set_pte_mfn(unsigned long vaddr, unsigned long mfn, pgprot_t flags)
/* Associate a virtual page frame with a given physical page frame and protection flags for that frame.  */
void set_pte_mfn(unsigned long vaddr, unsigned long mfn, pgprot_t flags)
{
	set_pte_vaddr(vaddr, mfn_pte(mfn, flags));
}