mk_pte_phys
set_pte(pte, mk_pte_phys(p, prot));
#define pfn_pte(pfn, pgprot) mk_pte_phys(((pfn) << PAGE_SHIFT), (pgprot))
pte = mk_pte_phys(phys, PAGE_KERNEL_RO);
pte = mk_pte_phys(phys, prot);