Searched refs:vm_cr4 (Results 1 – 1 of 1) sorted by relevance
642 uint64_t vm_cr4; member722 else if ((mmu->vm_cr4 & CR4_PAE) == 0) in vmm_vcpu_mmu_mode()