drivers/iommu/intel/iommu.h

764

struct pasid_table *pasid_table; /* pasid table */

drivers/iommu/intel/pasid.c

103

iommu_free_pages(pasid_table->table);

drivers/iommu/intel/pasid.c

104

kfree(pasid_table);

drivers/iommu/intel/pasid.c

107

struct pasid_table *intel_pasid_get_table(struct device *dev)

drivers/iommu/intel/pasid.c

115

return info->pasid_table;

drivers/iommu/intel/pasid.c

123

if (!info || !info->pasid_table)

drivers/iommu/intel/pasid.c

126

return info->pasid_table->max_pasid;

drivers/iommu/intel/pasid.c

132

struct pasid_table *pasid_table;

drivers/iommu/intel/pasid.c

137

pasid_table = intel_pasid_get_table(dev);

drivers/iommu/intel/pasid.c

138

if (WARN_ON(!pasid_table || pasid >= intel_pasid_get_dev_max_id(dev)))

drivers/iommu/intel/pasid.c

141

dir = pasid_table->table;

drivers/iommu/intel/pasid.c

41

struct pasid_table *pasid_table;

drivers/iommu/intel/pasid.c

50

if (WARN_ON(info->pasid_table))

drivers/iommu/intel/pasid.c

53

pasid_table = kzalloc_obj(*pasid_table);

drivers/iommu/intel/pasid.c

54

if (!pasid_table)

drivers/iommu/intel/pasid.c

66

kfree(pasid_table);

drivers/iommu/intel/pasid.c

70

pasid_table->table = dir;

drivers/iommu/intel/pasid.c

71

pasid_table->max_pasid = 1 << (order + PAGE_SHIFT + 3);

drivers/iommu/intel/pasid.c

72

info->pasid_table = pasid_table;

drivers/iommu/intel/pasid.c

75

clflush_cache_range(pasid_table->table, (1 << order) * PAGE_SIZE);

drivers/iommu/intel/pasid.c

784

static unsigned long context_get_sm_pds(struct pasid_table *table)

drivers/iommu/intel/pasid.c

800

struct pasid_table *table = info->pasid_table;

drivers/iommu/intel/pasid.c

83

struct pasid_table *pasid_table;

drivers/iommu/intel/pasid.c

89

if (!info || !dev_is_pci(dev) || !info->pasid_table)

drivers/iommu/intel/pasid.c

92

pasid_table = info->pasid_table;

drivers/iommu/intel/pasid.c

93

info->pasid_table = NULL;

drivers/iommu/intel/pasid.c

96

dir = pasid_table->table;

drivers/iommu/intel/pasid.c

97

max_pde = pasid_table->max_pasid >> PASID_PDE_SHIFT;

drivers/iommu/intel/pasid.h

305

struct pasid_table *intel_pasid_get_table(struct device *dev);