diff options
Diffstat (limited to 'xen/arch/x86/mm/hap/hap.c')
| -rw-r--r-- | xen/arch/x86/mm/hap/hap.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/xen/arch/x86/mm/hap/hap.c b/xen/arch/x86/mm/hap/hap.c index 47139f2627..ac4df6ec70 100644 --- a/xen/arch/x86/mm/hap/hap.c +++ b/xen/arch/x86/mm/hap/hap.c @@ -569,7 +569,8 @@ void hap_update_cr3(struct vcpu *v, int do_locking) HERE_I_AM; /* Don't do anything on an uninitialised vcpu */ - if ( !is_hvm_domain(d) && !test_bit(_VCPUF_initialised, &v->vcpu_flags) ) { + if ( !is_hvm_domain(d) && !v->is_initialised ) + { ASSERT(v->arch.cr3 == 0); return; } |