It's not really needed and has been misleading me more than once to try
and spot its "actual" use(s). It should really have been dropped when
the 32-bit specific logic was purged from here.
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Roger Pau Monné <roger.pau@citrix.com>
if ( v != current )
{
- struct vcpu *vcpu;
-
if ( !guest_kernel_mode(v, regs) )
{
printk("User mode stack\n");
return;
}
- vcpu = maddr_get_owner(read_cr3()) == v->domain ? v : NULL;
- if ( !vcpu )
+ if ( maddr_get_owner(read_cr3()) != v->domain )
{
stack_page = stack = do_page_walk(v, (unsigned long)stack);
if ( (unsigned long)stack < PAGE_SIZE )