|
@@ -114,7 +114,7 @@
|
|
|
*/
|
|
*/
|
|
|
#define _HPAGE_CHG_MASK (PTE_RPN_MASK | _PAGE_HPTEFLAGS | _PAGE_DIRTY | \
|
|
#define _HPAGE_CHG_MASK (PTE_RPN_MASK | _PAGE_HPTEFLAGS | _PAGE_DIRTY | \
|
|
|
_PAGE_ACCESSED | H_PAGE_THP_HUGE | _PAGE_PTE | \
|
|
_PAGE_ACCESSED | H_PAGE_THP_HUGE | _PAGE_PTE | \
|
|
|
- _PAGE_SOFT_DIRTY)
|
|
|
|
|
|
|
+ _PAGE_SOFT_DIRTY | _PAGE_DEVMAP)
|
|
|
/*
|
|
/*
|
|
|
* user access blocked by key
|
|
* user access blocked by key
|
|
|
*/
|
|
*/
|
|
@@ -132,7 +132,7 @@
|
|
|
*/
|
|
*/
|
|
|
#define _PAGE_CHG_MASK (PTE_RPN_MASK | _PAGE_HPTEFLAGS | _PAGE_DIRTY | \
|
|
#define _PAGE_CHG_MASK (PTE_RPN_MASK | _PAGE_HPTEFLAGS | _PAGE_DIRTY | \
|
|
|
_PAGE_ACCESSED | _PAGE_SPECIAL | _PAGE_PTE | \
|
|
_PAGE_ACCESSED | _PAGE_SPECIAL | _PAGE_PTE | \
|
|
|
- _PAGE_SOFT_DIRTY)
|
|
|
|
|
|
|
+ _PAGE_SOFT_DIRTY | _PAGE_DEVMAP)
|
|
|
|
|
|
|
|
#define H_PTE_PKEY (H_PTE_PKEY_BIT0 | H_PTE_PKEY_BIT1 | H_PTE_PKEY_BIT2 | \
|
|
#define H_PTE_PKEY (H_PTE_PKEY_BIT0 | H_PTE_PKEY_BIT1 | H_PTE_PKEY_BIT2 | \
|
|
|
H_PTE_PKEY_BIT3 | H_PTE_PKEY_BIT4)
|
|
H_PTE_PKEY_BIT3 | H_PTE_PKEY_BIT4)
|