/* SPDX-License-Identifier: GPL-2.0 */
|
#ifndef _ASM_PGTABLE_INVERT_H
|
#define _ASM_PGTABLE_INVERT_H 1
|
|
#ifndef __ASSEMBLY__
|
|
/*
|
* A clear pte value is special, and doesn't get inverted.
|
*
|
* Note that even users that only pass a pgprot_t (rather
|
* than a full pte) won't trigger the special zero case,
|
* because even PAGE_NONE has _PAGE_PROTNONE | _PAGE_ACCESSED
|
* set. So the all zero case really is limited to just the
|
* cleared page table entry case.
|
*/
|
static inline bool __pte_needs_invert(u64 val)
|
{
|
return val && !(val & _PAGE_PRESENT);
|
}
|
|
/* Get a mask to xor with the page table entry to get the correct pfn. */
|
static inline u64 protnone_mask(u64 val)
|
{
|
return __pte_needs_invert(val) ? ~0ull : 0;
|
}
|
|
static inline u64 flip_protnone_guard(u64 oldval, u64 val, u64 mask)
|
{
|
/*
|
* When a PTE transitions from NONE to !NONE or vice-versa
|
* invert the PFN part to stop speculation.
|
* pte_pfn undoes this when needed.
|
*/
|
if (__pte_needs_invert(oldval) != __pte_needs_invert(val))
|
val = (val & ~mask) | (~val & mask);
|
return val;
|
}
|
|
#endif /* __ASSEMBLY__ */
|
|
#endif
|
