| Zhang Xiantao | 1d737c8 | 2007-12-14 09:35:10 +0800 | [diff] [blame] | 1 | #ifndef __KVM_X86_MMU_H | 
|  | 2 | #define __KVM_X86_MMU_H | 
|  | 3 |  | 
| Avi Kivity | edf8841 | 2007-12-16 11:02:48 +0200 | [diff] [blame] | 4 | #include <linux/kvm_host.h> | 
| Avi Kivity | fc78f51 | 2009-12-07 12:16:48 +0200 | [diff] [blame] | 5 | #include "kvm_cache_regs.h" | 
| Zhang Xiantao | 1d737c8 | 2007-12-14 09:35:10 +0800 | [diff] [blame] | 6 |  | 
| Sheng Yang | 8c6d6ad | 2008-04-25 10:17:08 +0800 | [diff] [blame] | 7 | #define PT64_PT_BITS 9 | 
|  | 8 | #define PT64_ENT_PER_PAGE (1 << PT64_PT_BITS) | 
|  | 9 | #define PT32_PT_BITS 10 | 
|  | 10 | #define PT32_ENT_PER_PAGE (1 << PT32_PT_BITS) | 
|  | 11 |  | 
|  | 12 | #define PT_WRITABLE_SHIFT 1 | 
|  | 13 |  | 
|  | 14 | #define PT_PRESENT_MASK (1ULL << 0) | 
|  | 15 | #define PT_WRITABLE_MASK (1ULL << PT_WRITABLE_SHIFT) | 
|  | 16 | #define PT_USER_MASK (1ULL << 2) | 
|  | 17 | #define PT_PWT_MASK (1ULL << 3) | 
|  | 18 | #define PT_PCD_MASK (1ULL << 4) | 
| Avi Kivity | 1b7fcd3 | 2008-05-15 13:51:35 +0300 | [diff] [blame] | 19 | #define PT_ACCESSED_SHIFT 5 | 
|  | 20 | #define PT_ACCESSED_MASK (1ULL << PT_ACCESSED_SHIFT) | 
| Sheng Yang | 8c6d6ad | 2008-04-25 10:17:08 +0800 | [diff] [blame] | 21 | #define PT_DIRTY_MASK (1ULL << 6) | 
|  | 22 | #define PT_PAGE_SIZE_MASK (1ULL << 7) | 
|  | 23 | #define PT_PAT_MASK (1ULL << 7) | 
|  | 24 | #define PT_GLOBAL_MASK (1ULL << 8) | 
|  | 25 | #define PT64_NX_SHIFT 63 | 
|  | 26 | #define PT64_NX_MASK (1ULL << PT64_NX_SHIFT) | 
|  | 27 |  | 
|  | 28 | #define PT_PAT_SHIFT 7 | 
|  | 29 | #define PT_DIR_PAT_SHIFT 12 | 
|  | 30 | #define PT_DIR_PAT_MASK (1ULL << PT_DIR_PAT_SHIFT) | 
|  | 31 |  | 
|  | 32 | #define PT32_DIR_PSE36_SIZE 4 | 
|  | 33 | #define PT32_DIR_PSE36_SHIFT 13 | 
|  | 34 | #define PT32_DIR_PSE36_MASK \ | 
|  | 35 | (((1ULL << PT32_DIR_PSE36_SIZE) - 1) << PT32_DIR_PSE36_SHIFT) | 
|  | 36 |  | 
|  | 37 | #define PT64_ROOT_LEVEL 4 | 
|  | 38 | #define PT32_ROOT_LEVEL 2 | 
|  | 39 | #define PT32E_ROOT_LEVEL 3 | 
|  | 40 |  | 
| Sheng Yang | c9c5417 | 2010-01-05 19:02:26 +0800 | [diff] [blame] | 41 | #define PT_PDPE_LEVEL 3 | 
|  | 42 | #define PT_DIRECTORY_LEVEL 2 | 
|  | 43 | #define PT_PAGE_TABLE_LEVEL 1 | 
|  | 44 |  | 
| Gleb Natapov | 1871c60 | 2010-02-10 14:21:32 +0200 | [diff] [blame] | 45 | #define PFERR_PRESENT_MASK (1U << 0) | 
|  | 46 | #define PFERR_WRITE_MASK (1U << 1) | 
|  | 47 | #define PFERR_USER_MASK (1U << 2) | 
|  | 48 | #define PFERR_RSVD_MASK (1U << 3) | 
|  | 49 | #define PFERR_FETCH_MASK (1U << 4) | 
|  | 50 |  | 
| Marcelo Tosatti | 94d8b05 | 2009-06-11 12:07:42 -0300 | [diff] [blame] | 51 | int kvm_mmu_get_spte_hierarchy(struct kvm_vcpu *vcpu, u64 addr, u64 sptes[4]); | 
| Joerg Roedel | 52fde8d | 2010-09-10 17:30:44 +0200 | [diff] [blame] | 52 | int kvm_init_shadow_mmu(struct kvm_vcpu *vcpu, struct kvm_mmu *context); | 
| Marcelo Tosatti | 94d8b05 | 2009-06-11 12:07:42 -0300 | [diff] [blame] | 53 |  | 
| Dave Hansen | e0df7b9 | 2010-08-19 18:11:05 -0700 | [diff] [blame] | 54 | static inline unsigned int kvm_mmu_available_pages(struct kvm *kvm) | 
|  | 55 | { | 
| Dave Hansen | 49d5ca2 | 2010-08-19 18:11:28 -0700 | [diff] [blame] | 56 | return kvm->arch.n_max_mmu_pages - | 
|  | 57 | kvm->arch.n_used_mmu_pages; | 
| Dave Hansen | e0df7b9 | 2010-08-19 18:11:05 -0700 | [diff] [blame] | 58 | } | 
|  | 59 |  | 
| Zhang Xiantao | 1d737c8 | 2007-12-14 09:35:10 +0800 | [diff] [blame] | 60 | static inline void kvm_mmu_free_some_pages(struct kvm_vcpu *vcpu) | 
|  | 61 | { | 
| Dave Hansen | e0df7b9 | 2010-08-19 18:11:05 -0700 | [diff] [blame] | 62 | if (unlikely(kvm_mmu_available_pages(vcpu->kvm)< KVM_MIN_FREE_MMU_PAGES)) | 
| Zhang Xiantao | 1d737c8 | 2007-12-14 09:35:10 +0800 | [diff] [blame] | 63 | __kvm_mmu_free_some_pages(vcpu); | 
|  | 64 | } | 
|  | 65 |  | 
|  | 66 | static inline int kvm_mmu_reload(struct kvm_vcpu *vcpu) | 
|  | 67 | { | 
|  | 68 | if (likely(vcpu->arch.mmu.root_hpa != INVALID_PAGE)) | 
|  | 69 | return 0; | 
|  | 70 |  | 
|  | 71 | return kvm_mmu_load(vcpu); | 
|  | 72 | } | 
|  | 73 |  | 
| Avi Kivity | 43a3795 | 2009-06-10 14:12:05 +0300 | [diff] [blame] | 74 | static inline int is_present_gpte(unsigned long pte) | 
| Dong, Eddie | 20c466b | 2009-03-31 23:03:45 +0800 | [diff] [blame] | 75 | { | 
|  | 76 | return pte & PT_PRESENT_MASK; | 
|  | 77 | } | 
|  | 78 |  | 
| Zhang Xiantao | 1d737c8 | 2007-12-14 09:35:10 +0800 | [diff] [blame] | 79 | #endif |