diff --git a/xen/arch/x86/mm.c b/xen/arch/x86/mm.c index edd1923b1c..8ee9938061 100644 --- a/xen/arch/x86/mm.c +++ b/xen/arch/x86/mm.c @@ -3493,6 +3493,10 @@ long do_mmu_update( { p2m_type_t p2mt; + rc = -EOPNOTSUPP; + if ( unlikely(paging_mode_refcounts(pt_owner)) ) + break; + xsm_needed |= XSM_MMU_NORMAL_UPDATE; if ( get_pte_flags(req.val) & _PAGE_PRESENT ) {