|
@@ -98,6 +98,9 @@ static inline void native_set_pmd(pmd_t *pmdp, pmd_t pmd)
|
|
|
|
|
|
static inline void native_set_pud(pud_t *pudp, pud_t pud)
|
|
|
{
|
|
|
+#ifdef CONFIG_PAGE_TABLE_ISOLATION
|
|
|
+ pud.p4d.pgd = pti_set_user_pgtbl(&pudp->p4d.pgd, pud.p4d.pgd);
|
|
|
+#endif
|
|
|
set_64bit((unsigned long long *)(pudp), native_pud_val(pud));
|
|
|
}
|
|
|
|
|
@@ -229,6 +232,10 @@ static inline pud_t native_pudp_get_and_clear(pud_t *pudp)
|
|
|
{
|
|
|
union split_pud res, *orig = (union split_pud *)pudp;
|
|
|
|
|
|
+#ifdef CONFIG_PAGE_TABLE_ISOLATION
|
|
|
+ pti_set_user_pgtbl(&pudp->p4d.pgd, __pgd(0));
|
|
|
+#endif
|
|
|
+
|
|
|
/* xchg acts as a barrier before setting of the high bits */
|
|
|
res.pud_low = xchg(&orig->pud_low, 0);
|
|
|
res.pud_high = orig->pud_high;
|