xref: /openbmc/linux/arch/x86/kvm/mmu.h (revision bebb106a5afa32efdf5332ed4a40bf4d6d06b56e)
1edf88417SAvi Kivity #ifndef __KVM_X86_MMU_H
2edf88417SAvi Kivity #define __KVM_X86_MMU_H
3edf88417SAvi Kivity 
4edf88417SAvi Kivity #include <linux/kvm_host.h>
5fc78f519SAvi Kivity #include "kvm_cache_regs.h"
6edf88417SAvi Kivity 
78c6d6adcSSheng Yang #define PT64_PT_BITS 9
88c6d6adcSSheng Yang #define PT64_ENT_PER_PAGE (1 << PT64_PT_BITS)
98c6d6adcSSheng Yang #define PT32_PT_BITS 10
108c6d6adcSSheng Yang #define PT32_ENT_PER_PAGE (1 << PT32_PT_BITS)
118c6d6adcSSheng Yang 
128c6d6adcSSheng Yang #define PT_WRITABLE_SHIFT 1
138c6d6adcSSheng Yang 
148c6d6adcSSheng Yang #define PT_PRESENT_MASK (1ULL << 0)
158c6d6adcSSheng Yang #define PT_WRITABLE_MASK (1ULL << PT_WRITABLE_SHIFT)
168c6d6adcSSheng Yang #define PT_USER_MASK (1ULL << 2)
178c6d6adcSSheng Yang #define PT_PWT_MASK (1ULL << 3)
188c6d6adcSSheng Yang #define PT_PCD_MASK (1ULL << 4)
191b7fcd32SAvi Kivity #define PT_ACCESSED_SHIFT 5
201b7fcd32SAvi Kivity #define PT_ACCESSED_MASK (1ULL << PT_ACCESSED_SHIFT)
218c6d6adcSSheng Yang #define PT_DIRTY_MASK (1ULL << 6)
228c6d6adcSSheng Yang #define PT_PAGE_SIZE_MASK (1ULL << 7)
238c6d6adcSSheng Yang #define PT_PAT_MASK (1ULL << 7)
248c6d6adcSSheng Yang #define PT_GLOBAL_MASK (1ULL << 8)
258c6d6adcSSheng Yang #define PT64_NX_SHIFT 63
268c6d6adcSSheng Yang #define PT64_NX_MASK (1ULL << PT64_NX_SHIFT)
278c6d6adcSSheng Yang 
288c6d6adcSSheng Yang #define PT_PAT_SHIFT 7
298c6d6adcSSheng Yang #define PT_DIR_PAT_SHIFT 12
308c6d6adcSSheng Yang #define PT_DIR_PAT_MASK (1ULL << PT_DIR_PAT_SHIFT)
318c6d6adcSSheng Yang 
328c6d6adcSSheng Yang #define PT32_DIR_PSE36_SIZE 4
338c6d6adcSSheng Yang #define PT32_DIR_PSE36_SHIFT 13
348c6d6adcSSheng Yang #define PT32_DIR_PSE36_MASK \
358c6d6adcSSheng Yang 	(((1ULL << PT32_DIR_PSE36_SIZE) - 1) << PT32_DIR_PSE36_SHIFT)
368c6d6adcSSheng Yang 
378c6d6adcSSheng Yang #define PT64_ROOT_LEVEL 4
388c6d6adcSSheng Yang #define PT32_ROOT_LEVEL 2
398c6d6adcSSheng Yang #define PT32E_ROOT_LEVEL 3
408c6d6adcSSheng Yang 
41c9c54174SSheng Yang #define PT_PDPE_LEVEL 3
42c9c54174SSheng Yang #define PT_DIRECTORY_LEVEL 2
43c9c54174SSheng Yang #define PT_PAGE_TABLE_LEVEL 1
44c9c54174SSheng Yang 
451871c602SGleb Natapov #define PFERR_PRESENT_MASK (1U << 0)
461871c602SGleb Natapov #define PFERR_WRITE_MASK (1U << 1)
471871c602SGleb Natapov #define PFERR_USER_MASK (1U << 2)
481871c602SGleb Natapov #define PFERR_RSVD_MASK (1U << 3)
491871c602SGleb Natapov #define PFERR_FETCH_MASK (1U << 4)
501871c602SGleb Natapov 
5194d8b056SMarcelo Tosatti int kvm_mmu_get_spte_hierarchy(struct kvm_vcpu *vcpu, u64 addr, u64 sptes[4]);
5252fde8dfSJoerg Roedel int kvm_init_shadow_mmu(struct kvm_vcpu *vcpu, struct kvm_mmu *context);
5394d8b056SMarcelo Tosatti 
54e0df7b9fSDave Hansen static inline unsigned int kvm_mmu_available_pages(struct kvm *kvm)
55e0df7b9fSDave Hansen {
5649d5ca26SDave Hansen 	return kvm->arch.n_max_mmu_pages -
5749d5ca26SDave Hansen 		kvm->arch.n_used_mmu_pages;
58e0df7b9fSDave Hansen }
59e0df7b9fSDave Hansen 
60edf88417SAvi Kivity static inline void kvm_mmu_free_some_pages(struct kvm_vcpu *vcpu)
61edf88417SAvi Kivity {
62e0df7b9fSDave Hansen 	if (unlikely(kvm_mmu_available_pages(vcpu->kvm)< KVM_MIN_FREE_MMU_PAGES))
63edf88417SAvi Kivity 		__kvm_mmu_free_some_pages(vcpu);
64edf88417SAvi Kivity }
65edf88417SAvi Kivity 
66edf88417SAvi Kivity static inline int kvm_mmu_reload(struct kvm_vcpu *vcpu)
67edf88417SAvi Kivity {
68edf88417SAvi Kivity 	if (likely(vcpu->arch.mmu.root_hpa != INVALID_PAGE))
69edf88417SAvi Kivity 		return 0;
70edf88417SAvi Kivity 
71edf88417SAvi Kivity 	return kvm_mmu_load(vcpu);
72edf88417SAvi Kivity }
73edf88417SAvi Kivity 
7443a3795aSAvi Kivity static inline int is_present_gpte(unsigned long pte)
7520c466b5SDong, Eddie {
7620c466b5SDong, Eddie 	return pte & PT_PRESENT_MASK;
7720c466b5SDong, Eddie }
7820c466b5SDong, Eddie 
79*bebb106aSXiao Guangrong static inline int is_writable_pte(unsigned long pte)
80*bebb106aSXiao Guangrong {
81*bebb106aSXiao Guangrong 	return pte & PT_WRITABLE_MASK;
82*bebb106aSXiao Guangrong }
83*bebb106aSXiao Guangrong 
84*bebb106aSXiao Guangrong static inline bool is_write_protection(struct kvm_vcpu *vcpu)
85*bebb106aSXiao Guangrong {
86*bebb106aSXiao Guangrong 	return kvm_read_cr0_bits(vcpu, X86_CR0_WP);
87*bebb106aSXiao Guangrong }
88*bebb106aSXiao Guangrong 
89*bebb106aSXiao Guangrong static inline bool check_write_user_access(struct kvm_vcpu *vcpu,
90*bebb106aSXiao Guangrong 					   bool write_fault, bool user_fault,
91*bebb106aSXiao Guangrong 					   unsigned long pte)
92*bebb106aSXiao Guangrong {
93*bebb106aSXiao Guangrong 	if (unlikely(write_fault && !is_writable_pte(pte)
94*bebb106aSXiao Guangrong 	      && (user_fault || is_write_protection(vcpu))))
95*bebb106aSXiao Guangrong 		return false;
96*bebb106aSXiao Guangrong 
97*bebb106aSXiao Guangrong 	if (unlikely(user_fault && !(pte & PT_USER_MASK)))
98*bebb106aSXiao Guangrong 		return false;
99*bebb106aSXiao Guangrong 
100*bebb106aSXiao Guangrong 	return true;
101*bebb106aSXiao Guangrong }
102edf88417SAvi Kivity #endif
103