|
@@ -239,9 +239,10 @@ static inline pte_t pte_mkdirty(pte_t pte)
|
|
static inline pte_t pte_mkyoung(pte_t pte)
|
|
static inline pte_t pte_mkyoung(pte_t pte)
|
|
{
|
|
{
|
|
pte.pte_low |= _PAGE_ACCESSED;
|
|
pte.pte_low |= _PAGE_ACCESSED;
|
|
- if (pte.pte_low & _PAGE_READ)
|
|
|
|
|
|
+ if (pte.pte_low & _PAGE_READ) {
|
|
pte.pte_low |= _PAGE_SILENT_READ;
|
|
pte.pte_low |= _PAGE_SILENT_READ;
|
|
pte.pte_high |= _PAGE_SILENT_READ;
|
|
pte.pte_high |= _PAGE_SILENT_READ;
|
|
|
|
+ }
|
|
return pte;
|
|
return pte;
|
|
}
|
|
}
|
|
#else
|
|
#else
|