diff options
| author | Joshua M. Clulow <jmc@joyent.com> | 2012-11-27 22:10:20 +0000 |
|---|---|---|
| committer | Joshua M. Clulow <jmc@joyent.com> | 2012-11-27 22:10:20 +0000 |
| commit | c52ff98aa3b4152a3ebb96b6522df37773ace229 (patch) | |
| tree | d0f47db556d9d88fdca53ba26899556bfb62650a /kvm_paging_tmpl.h | |
| parent | fc09716df399a4ddc7bd0146f644595e3f608724 (diff) | |
| download | illumos-kvm-c52ff98aa3b4152a3ebb96b6522df37773ace229.tar.gz | |
Diffstat (limited to 'kvm_paging_tmpl.h')
| -rw-r--r-- | kvm_paging_tmpl.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/kvm_paging_tmpl.h b/kvm_paging_tmpl.h index 1109874..8c85f97 100644 --- a/kvm_paging_tmpl.h +++ b/kvm_paging_tmpl.h @@ -145,8 +145,6 @@ walk: --walker->level; } #endif - ASSERT((!is_long_mode(vcpu) && is_pae(vcpu)) || - (vcpu->arch.cr3 & CR3_NONPAE_RESERVED_BITS) == 0); pt_access = ACC_ALL; |