lkml.org 
[lkml]   [2018]   [Mar]   [16]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    Patch in this message
    /
    From
    Subject[PATCH 22/35] x86/mm/pae: Populate the user page-table with user pgd's
    Date
    From: Joerg Roedel <jroedel@suse.de>

    When we populate a PGD entry, make sure we populate it in
    the user page-table too.

    Signed-off-by: Joerg Roedel <jroedel@suse.de>
    ---
    arch/x86/include/asm/pgtable-3level.h | 7 +++++++
    1 file changed, 7 insertions(+)

    diff --git a/arch/x86/include/asm/pgtable-3level.h b/arch/x86/include/asm/pgtable-3level.h
    index bc4af54..ab2aa44 100644
    --- a/arch/x86/include/asm/pgtable-3level.h
    +++ b/arch/x86/include/asm/pgtable-3level.h
    @@ -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));
    }

    @@ -194,6 +197,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;
    --
    2.7.4
    \
     
     \ /
      Last update: 2018-03-16 20:35    [W:4.097 / U:0.296 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site