get correct snapshot of A/D bits.
Error pointed out by Jan Beulich.
Signed-off-by: Keir Fraser <keir@xensource.com>
{
pte_t pte = *ptep;
if (!pte_none(pte)) {
- if ((mm != current->mm && mm != &init_mm) ||
+ if ((mm != &init_mm) ||
HYPERVISOR_update_va_mapping(addr, __pte(0), 0))
pte = __pte_ma(xchg(&ptep->pte_low, 0));
}
{
pte_t pte = *ptep;
if (!pte_none(pte)) {
- if ((mm != current->mm && mm != &init_mm) ||
+ if ((mm != &init_mm) ||
HYPERVISOR_update_va_mapping(addr, __pte(0), 0)) {
uint64_t val = __pte_val(pte);
if (__cmpxchg64(ptep, val, 0) != val) {
{
pte_t pte = *ptep;
if (!pte_none(pte)) {
- if ((mm != current->mm && mm != &init_mm) ||
+ if ((mm != &init_mm) ||
HYPERVISOR_update_va_mapping(addr, __pte(0), 0))
pte = __pte_ma(xchg(&ptep->pte, 0));
}