24 typedef unsigned long kvm_pte_t;  typedef
26 typedef int (*kvm_pte_ops)(kvm_pte_t *pte, phys_addr_t addr, kvm_ptw_ctx *ctx);
48 kvm_pte_t *kvm_pgd_alloc(void);
50 static inline void kvm_set_pte(kvm_pte_t *ptep, kvm_pte_t val)  in kvm_set_pte()
55 static inline int kvm_pte_write(kvm_pte_t pte) { return pte & _PAGE_WRITE; }  in kvm_pte_write()
56 static inline int kvm_pte_dirty(kvm_pte_t pte) { return pte & _PAGE_DIRTY; }  in kvm_pte_dirty()
57 static inline int kvm_pte_young(kvm_pte_t pte) { return pte & _PAGE_ACCESSED; }  in kvm_pte_young()
58 static inline int kvm_pte_huge(kvm_pte_t pte) { return pte & _PAGE_HUGE; }  in kvm_pte_huge()
60 static inline kvm_pte_t kvm_pte_mkyoung(kvm_pte_t pte)  in kvm_pte_mkyoung()
65 static inline kvm_pte_t kvm_pte_mkold(kvm_pte_t pte)  in kvm_pte_mkold()
70 static inline kvm_pte_t kvm_pte_mkdirty(kvm_pte_t pte)  in kvm_pte_mkdirty()
75 static inline kvm_pte_t kvm_pte_mkclean(kvm_pte_t pte)  in kvm_pte_mkclean()
80 static inline kvm_pte_t kvm_pte_mkhuge(kvm_pte_t pte)  in kvm_pte_mkhuge()
85 static inline kvm_pte_t kvm_pte_mksmall(kvm_pte_t pte)  in kvm_pte_mksmall()
95 static inline kvm_pte_t *kvm_pgtable_offset(kvm_ptw_ctx *ctx, kvm_pte_t *table,  in kvm_pgtable_offset()
112 static inline int kvm_pte_present(kvm_ptw_ctx *ctx, kvm_pte_t *entry)  in kvm_pte_present()
120 static inline int kvm_pte_none(kvm_ptw_ctx *ctx, kvm_pte_t *entry)  in kvm_pte_none()