1 /* SPDX-License-Identifier: GPL-2.0 */
3 * intel-pasid.h - PASID idr, table and entry header
5 * Copyright (C) 2018 Intel Corporation
7 * Author: Lu Baolu <baolu.lu@linux.intel.com>
10 #ifndef __INTEL_PASID_H
11 #define __INTEL_PASID_H
13 #define PASID_RID2PASID 0x0
15 #define PASID_MAX 0x100000
16 #define PASID_PTE_MASK 0x3F
17 #define PASID_PTE_PRESENT 1
18 #define PDE_PFN_MASK PAGE_MASK
19 #define PASID_PDE_SHIFT 6
20 #define MAX_NR_PASID_BITS 20
21 #define PASID_TBL_ENTRIES BIT(PASID_PDE_SHIFT)
23 #define is_pasid_enabled(entry) (((entry)->lo >> 3) & 0x1)
24 #define get_pasid_dir_size(entry) (1 << ((((entry)->lo >> 9) & 0x7) + 7))
27 * Domain ID reserved for pasid entries programmed for first-level
28 * only and pass-through transfer modes.
30 #define FLPT_DEFAULT_DID 1
33 * The SUPERVISOR_MODE flag indicates a first level translation which
34 * can be used for access to kernel addresses. It is valid only for
35 * access to the kernel's static 1:1 mapping of physical memory — not
36 * to vmalloc or even module mappings.
38 #define PASID_FLAG_SUPERVISOR_MODE BIT(0)
40 struct pasid_dir_entry
{
48 /* The representative of a PASID table */
50 void *table
; /* pasid table pointer */
51 int order
; /* page order of pasid table */
52 int max_pasid
; /* max pasid */
53 struct list_head dev
; /* device list */
56 /* Get PRESENT bit of a PASID directory entry. */
57 static inline bool pasid_pde_is_present(struct pasid_dir_entry
*pde
)
59 return READ_ONCE(pde
->val
) & PASID_PTE_PRESENT
;
62 /* Get PASID table from a PASID directory entry. */
63 static inline struct pasid_entry
*
64 get_pasid_table_from_pde(struct pasid_dir_entry
*pde
)
66 if (!pasid_pde_is_present(pde
))
69 return phys_to_virt(READ_ONCE(pde
->val
) & PDE_PFN_MASK
);
72 /* Get PRESENT bit of a PASID table entry. */
73 static inline bool pasid_pte_is_present(struct pasid_entry
*pte
)
75 return READ_ONCE(pte
->val
[0]) & PASID_PTE_PRESENT
;
78 extern u32 intel_pasid_max_id
;
79 int intel_pasid_alloc_id(void *ptr
, int start
, int end
, gfp_t gfp
);
80 void intel_pasid_free_id(int pasid
);
81 void *intel_pasid_lookup_id(int pasid
);
82 int intel_pasid_alloc_table(struct device
*dev
);
83 void intel_pasid_free_table(struct device
*dev
);
84 struct pasid_table
*intel_pasid_get_table(struct device
*dev
);
85 int intel_pasid_get_dev_max_id(struct device
*dev
);
86 struct pasid_entry
*intel_pasid_get_entry(struct device
*dev
, int pasid
);
87 int intel_pasid_setup_first_level(struct intel_iommu
*iommu
,
88 struct device
*dev
, pgd_t
*pgd
,
89 int pasid
, u16 did
, int flags
);
90 int intel_pasid_setup_second_level(struct intel_iommu
*iommu
,
91 struct dmar_domain
*domain
,
92 struct device
*dev
, int pasid
);
93 int intel_pasid_setup_pass_through(struct intel_iommu
*iommu
,
94 struct dmar_domain
*domain
,
95 struct device
*dev
, int pasid
);
96 void intel_pasid_tear_down_entry(struct intel_iommu
*iommu
,
97 struct device
*dev
, int pasid
);
99 #endif /* __INTEL_PASID_H */