diff options
Diffstat (limited to 'xen/arch/arm/p2m.c')
-rw-r--r-- | xen/arch/arm/p2m.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xen/arch/arm/p2m.c b/xen/arch/arm/p2m.c index 8b20b43077..fb71fa4c1c 100644 --- a/xen/arch/arm/p2m.c +++ b/xen/arch/arm/p2m.c @@ -1016,7 +1016,7 @@ static int __p2m_set_entry(struct p2m_domain *p2m, * sequence when updating the translation table (D4.7.1 in ARM DDI * 0487A.j). */ - if ( lpae_is_valid(orig_pte) ) + if ( lpae_is_valid(orig_pte) || removing_mapping ) p2m_remove_pte(entry, p2m->clean_pte); if ( removing_mapping ) |