case MMUEXT_INVLPG_LOCAL:
if ( unlikely(d != pg_owner) )
rc = -EPERM;
- else if ( !paging_mode_enabled(d) ||
- paging_invlpg(curr, op.arg1.linear_addr) != 0 )
+ else if ( !paging_mode_enabled(d)
+ ? __addr_ok(op.arg1.linear_addr)
+ : paging_invlpg(curr, op.arg1.linear_addr) )
flush_tlb_one_local(op.arg1.linear_addr);
break;
if ( op.cmd == MMUEXT_TLB_FLUSH_MULTI )
flush_tlb_mask(&pmask);
- else
+ else if ( __addr_ok(op.arg1.linear_addr) )
flush_tlb_one_mask(&pmask, op.arg1.linear_addr);
break;
}
break;
case MMUEXT_INVLPG_ALL:
- if ( likely(d == pg_owner) )
- flush_tlb_one_mask(d->domain_dirty_cpumask, op.arg1.linear_addr);
- else
+ if ( unlikely(d != pg_owner) )
rc = -EPERM;
+ else if ( __addr_ok(op.arg1.linear_addr) )
+ flush_tlb_one_mask(d->domain_dirty_cpumask, op.arg1.linear_addr);
break;
case MMUEXT_FLUSH_CACHE:
* or 0 if it's safe not to do so. */
static inline int paging_invlpg(struct vcpu *v, unsigned long va)
{
- return is_canonical_address(va) && paging_get_hostmode(v)->invlpg(v, va);
+ return (paging_mode_external(v->domain) ? is_canonical_address(va)
+ : __addr_ok(va)) &&
+ paging_get_hostmode(v)->invlpg(v, va);
}
/* Translate a guest virtual address to the frame number that the