__phys_to_pte_val
__pte(__phys_to_pte_val((phys_addr_t)(pfn) << PAGE_SHIFT) | pgprot_val(prot))
#define __phys_to_pmd_val(phys) __phys_to_pte_val(phys)
#define __phys_to_pud_val(phys) __phys_to_pte_val(phys)
#define __phys_to_p4d_val(phys) __phys_to_pte_val(phys)
#define __phys_to_pgd_val(phys) __phys_to_pte_val(phys)
*tbl = __pte(__phys_to_pte_val(*pte) |
*tbl = __pte(__phys_to_pte_val(pa) | protval);
prot_ns_shared = __phys_to_pte_val(BIT(config.ipa_bits - 1));