|
@@ -431,7 +431,7 @@ static pteval_t iomap_pte(pteval_t val)
|
|
|
return val;
|
|
|
}
|
|
|
|
|
|
-static pteval_t xen_pte_val(pte_t pte)
|
|
|
+__visible pteval_t xen_pte_val(pte_t pte)
|
|
|
{
|
|
|
pteval_t pteval = pte.pte;
|
|
|
#if 0
|
|
@@ -448,7 +448,7 @@ static pteval_t xen_pte_val(pte_t pte)
|
|
|
}
|
|
|
PV_CALLEE_SAVE_REGS_THUNK(xen_pte_val);
|
|
|
|
|
|
-static pgdval_t xen_pgd_val(pgd_t pgd)
|
|
|
+__visible pgdval_t xen_pgd_val(pgd_t pgd)
|
|
|
{
|
|
|
return pte_mfn_to_pfn(pgd.pgd);
|
|
|
}
|
|
@@ -479,7 +479,7 @@ void xen_set_pat(u64 pat)
|
|
|
WARN_ON(pat != 0x0007010600070106ull);
|
|
|
}
|
|
|
|
|
|
-static pte_t xen_make_pte(pteval_t pte)
|
|
|
+__visible pte_t xen_make_pte(pteval_t pte)
|
|
|
{
|
|
|
phys_addr_t addr = (pte & PTE_PFN_MASK);
|
|
|
#if 0
|
|
@@ -514,14 +514,14 @@ static pte_t xen_make_pte(pteval_t pte)
|
|
|
}
|
|
|
PV_CALLEE_SAVE_REGS_THUNK(xen_make_pte);
|
|
|
|
|
|
-static pgd_t xen_make_pgd(pgdval_t pgd)
|
|
|
+__visible pgd_t xen_make_pgd(pgdval_t pgd)
|
|
|
{
|
|
|
pgd = pte_pfn_to_mfn(pgd);
|
|
|
return native_make_pgd(pgd);
|
|
|
}
|
|
|
PV_CALLEE_SAVE_REGS_THUNK(xen_make_pgd);
|
|
|
|
|
|
-static pmdval_t xen_pmd_val(pmd_t pmd)
|
|
|
+__visible pmdval_t xen_pmd_val(pmd_t pmd)
|
|
|
{
|
|
|
return pte_mfn_to_pfn(pmd.pmd);
|
|
|
}
|
|
@@ -580,7 +580,7 @@ static void xen_pmd_clear(pmd_t *pmdp)
|
|
|
}
|
|
|
#endif /* CONFIG_X86_PAE */
|
|
|
|
|
|
-static pmd_t xen_make_pmd(pmdval_t pmd)
|
|
|
+__visible pmd_t xen_make_pmd(pmdval_t pmd)
|
|
|
{
|
|
|
pmd = pte_pfn_to_mfn(pmd);
|
|
|
return native_make_pmd(pmd);
|
|
@@ -588,13 +588,13 @@ static pmd_t xen_make_pmd(pmdval_t pmd)
|
|
|
PV_CALLEE_SAVE_REGS_THUNK(xen_make_pmd);
|
|
|
|
|
|
#if PAGETABLE_LEVELS == 4
|
|
|
-static pudval_t xen_pud_val(pud_t pud)
|
|
|
+__visible pudval_t xen_pud_val(pud_t pud)
|
|
|
{
|
|
|
return pte_mfn_to_pfn(pud.pud);
|
|
|
}
|
|
|
PV_CALLEE_SAVE_REGS_THUNK(xen_pud_val);
|
|
|
|
|
|
-static pud_t xen_make_pud(pudval_t pud)
|
|
|
+__visible pud_t xen_make_pud(pudval_t pud)
|
|
|
{
|
|
|
pud = pte_pfn_to_mfn(pud);
|
|
|
|