#ifndef __INTEL_PASID_H
#define __INTEL_PASID_H
#define PASID_MAX …
#define PASID_PTE_MASK …
#define PASID_PTE_PRESENT …
#define PASID_PTE_FPD …
#define PDE_PFN_MASK …
#define PASID_PDE_SHIFT …
#define MAX_NR_PASID_BITS …
#define PASID_TBL_ENTRIES …
#define is_pasid_enabled(entry) …
#define get_pasid_dir_size(entry) …
#define FLPT_DEFAULT_DID …
#define NUM_RESERVED_DID …
#define PASID_FLAG_NESTED …
#define PASID_FLAG_PAGE_SNOOP …
#define PASID_FLAG_FL5LP …
struct pasid_dir_entry { … };
struct pasid_entry { … };
#define PASID_ENTRY_PGTT_FL_ONLY …
#define PASID_ENTRY_PGTT_SL_ONLY …
#define PASID_ENTRY_PGTT_NESTED …
#define PASID_ENTRY_PGTT_PT …
struct pasid_table { … };
static inline bool pasid_pde_is_present(struct pasid_dir_entry *pde)
{ … }
static inline struct pasid_entry *
get_pasid_table_from_pde(struct pasid_dir_entry *pde)
{ … }
static inline bool pasid_pte_is_present(struct pasid_entry *pte)
{ … }
static inline u16 pasid_pte_get_pgtt(struct pasid_entry *pte)
{ … }
static inline void pasid_clear_entry(struct pasid_entry *pe)
{ … }
static inline void pasid_clear_entry_with_fpd(struct pasid_entry *pe)
{ … }
static inline void pasid_set_bits(u64 *ptr, u64 mask, u64 bits)
{ … }
static inline u64 pasid_get_bits(u64 *ptr)
{ … }
static inline void
pasid_set_domain_id(struct pasid_entry *pe, u64 value)
{ … }
static inline u16
pasid_get_domain_id(struct pasid_entry *pe)
{ … }
static inline void
pasid_set_slptr(struct pasid_entry *pe, u64 value)
{ … }
static inline void
pasid_set_address_width(struct pasid_entry *pe, u64 value)
{ … }
static inline void
pasid_set_translation_type(struct pasid_entry *pe, u64 value)
{ … }
static inline void pasid_set_fault_enable(struct pasid_entry *pe)
{ … }
static inline void pasid_set_ssade(struct pasid_entry *pe)
{ … }
static inline void pasid_clear_ssade(struct pasid_entry *pe)
{ … }
static inline bool pasid_get_ssade(struct pasid_entry *pe)
{ … }
static inline void pasid_set_sre(struct pasid_entry *pe)
{ … }
static inline void pasid_set_wpe(struct pasid_entry *pe)
{ … }
static inline void pasid_set_present(struct pasid_entry *pe)
{ … }
static inline void pasid_set_page_snoop(struct pasid_entry *pe, bool value)
{ … }
static inline void
pasid_set_pgsnp(struct pasid_entry *pe)
{ … }
static inline void
pasid_set_flptr(struct pasid_entry *pe, u64 value)
{ … }
static inline void
pasid_set_flpm(struct pasid_entry *pe, u64 value)
{ … }
static inline void pasid_set_eafe(struct pasid_entry *pe)
{ … }
extern unsigned int intel_pasid_max_id;
int intel_pasid_alloc_table(struct device *dev);
void intel_pasid_free_table(struct device *dev);
struct pasid_table *intel_pasid_get_table(struct device *dev);
int intel_pasid_setup_first_level(struct intel_iommu *iommu,
struct device *dev, pgd_t *pgd,
u32 pasid, u16 did, int flags);
int intel_pasid_setup_second_level(struct intel_iommu *iommu,
struct dmar_domain *domain,
struct device *dev, u32 pasid);
int intel_pasid_setup_dirty_tracking(struct intel_iommu *iommu,
struct device *dev, u32 pasid,
bool enabled);
int intel_pasid_setup_pass_through(struct intel_iommu *iommu,
struct device *dev, u32 pasid);
int intel_pasid_setup_nested(struct intel_iommu *iommu, struct device *dev,
u32 pasid, struct dmar_domain *domain);
void intel_pasid_tear_down_entry(struct intel_iommu *iommu,
struct device *dev, u32 pasid,
bool fault_ignore);
void intel_pasid_setup_page_snoop_control(struct intel_iommu *iommu,
struct device *dev, u32 pasid);
int intel_pasid_setup_sm_context(struct device *dev);
void intel_pasid_teardown_sm_context(struct device *dev);
#endif