|
@@ -166,12 +166,6 @@ void kvm_clear_hyp_idmap(void);
|
|
|
#define kvm_set_pte(ptep, pte) set_pte(ptep, pte)
|
|
|
#define kvm_set_pmd(pmdp, pmd) set_pmd(pmdp, pmd)
|
|
|
|
|
|
-static inline void kvm_clean_pgd(pgd_t *pgd) {}
|
|
|
-static inline void kvm_clean_pmd(pmd_t *pmd) {}
|
|
|
-static inline void kvm_clean_pmd_entry(pmd_t *pmd) {}
|
|
|
-static inline void kvm_clean_pte(pte_t *pte) {}
|
|
|
-static inline void kvm_clean_pte_entry(pte_t *pte) {}
|
|
|
-
|
|
|
static inline pte_t kvm_s2pte_mkwrite(pte_t pte)
|
|
|
{
|
|
|
pte_val(pte) |= PTE_S2_RDWR;
|