is_paging
if (!is_paging(vcpu))
if (!(vcpu->arch.efer & EFER_SVME) || !is_paging(vcpu)) {
bool old_paging = is_paging(vcpu);
if (!is_paging(vcpu) && (cr0 & X86_CR0_PG)) {
if (is_paging(vcpu) && !(cr0 & X86_CR0_PG)) {
if (old_paging != is_paging(vcpu))
if (!is_paging(vcpu))
!sgx_enabled_in_guest_bios(vcpu) || !is_paging(vcpu)) {
if (!enable_unrestricted_guest && !is_paging(vcpu))
if (!is_paging(vcpu)) {
if (!is_paging(vcpu))
if ((vcpu->arch.efer & EFER_LME) && !is_paging(vcpu) &&
} else if (is_paging(vcpu) && (cr4 & X86_CR4_PAE)
return is_paging(vcpu);
if (is_paging(vcpu) &&
if (vcpu_match_mmio_gva(vcpu, gva) && (!is_paging(vcpu) ||
return !is_long_mode(vcpu) && is_pae(vcpu) && is_paging(vcpu);