|
@@ -196,21 +196,21 @@ static inline bool pgdp_maps_userspace(void *__ptr)
|
|
|
}
|
|
|
|
|
|
#ifdef CONFIG_PAGE_TABLE_ISOLATION
|
|
|
-pgd_t __pti_set_user_pgd(pgd_t *pgdp, pgd_t pgd);
|
|
|
+pgd_t __pti_set_user_pgtbl(pgd_t *pgdp, pgd_t pgd);
|
|
|
|
|
|
/*
|
|
|
* Take a PGD location (pgdp) and a pgd value that needs to be set there.
|
|
|
* Populates the user and returns the resulting PGD that must be set in
|
|
|
* the kernel copy of the page tables.
|
|
|
*/
|
|
|
-static inline pgd_t pti_set_user_pgd(pgd_t *pgdp, pgd_t pgd)
|
|
|
+static inline pgd_t pti_set_user_pgtbl(pgd_t *pgdp, pgd_t pgd)
|
|
|
{
|
|
|
if (!static_cpu_has(X86_FEATURE_PTI))
|
|
|
return pgd;
|
|
|
- return __pti_set_user_pgd(pgdp, pgd);
|
|
|
+ return __pti_set_user_pgtbl(pgdp, pgd);
|
|
|
}
|
|
|
#else
|
|
|
-static inline pgd_t pti_set_user_pgd(pgd_t *pgdp, pgd_t pgd)
|
|
|
+static inline pgd_t pti_set_user_pgtbl(pgd_t *pgdp, pgd_t pgd)
|
|
|
{
|
|
|
return pgd;
|
|
|
}
|
|
@@ -226,7 +226,7 @@ static inline void native_set_p4d(p4d_t *p4dp, p4d_t p4d)
|
|
|
}
|
|
|
|
|
|
pgd = native_make_pgd(native_p4d_val(p4d));
|
|
|
- pgd = pti_set_user_pgd((pgd_t *)p4dp, pgd);
|
|
|
+ pgd = pti_set_user_pgtbl((pgd_t *)p4dp, pgd);
|
|
|
*p4dp = native_make_p4d(native_pgd_val(pgd));
|
|
|
}
|
|
|
|
|
@@ -237,7 +237,7 @@ static inline void native_p4d_clear(p4d_t *p4d)
|
|
|
|
|
|
static inline void native_set_pgd(pgd_t *pgdp, pgd_t pgd)
|
|
|
{
|
|
|
- *pgdp = pti_set_user_pgd(pgdp, pgd);
|
|
|
+ *pgdp = pti_set_user_pgtbl(pgdp, pgd);
|
|
|
}
|
|
|
|
|
|
static inline void native_pgd_clear(pgd_t *pgd)
|