set_top_pte
set_top_pte(COPYPAGE_MINICACHE, mk_pte(from, minicache_pgprot));
set_top_pte(to, mk_pte(page, PAGE_KERNEL));
set_top_pte(kfrom, mk_pte(from, PAGE_KERNEL));
set_top_pte(kto, mk_pte(to, PAGE_KERNEL));
set_top_pte(COPYPAGE_MINICACHE, mk_pte(from, minicache_pgprot));
set_top_pte(to, pfn_pte(pfn, PAGE_KERNEL));
set_top_pte(va, pfn_pte(pfn, PAGE_KERNEL));