Joerg Roedel | 4a77a6c | 2008-11-26 17:02:33 +0100 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2007-2008 Advanced Micro Devices, Inc. |
| 3 | * Author: Joerg Roedel <joerg.roedel@amd.com> |
| 4 | * |
| 5 | * This program is free software; you can redistribute it and/or modify it |
| 6 | * under the terms of the GNU General Public License version 2 as published |
| 7 | * by the Free Software Foundation. |
| 8 | * |
| 9 | * This program is distributed in the hope that it will be useful, |
| 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 12 | * GNU General Public License for more details. |
| 13 | * |
| 14 | * You should have received a copy of the GNU General Public License |
| 15 | * along with this program; if not, write to the Free Software |
| 16 | * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
| 17 | */ |
| 18 | |
| 19 | #ifndef __LINUX_IOMMU_H |
| 20 | #define __LINUX_IOMMU_H |
| 21 | |
Laura Abbott | 74315cc | 2011-06-08 17:29:11 -0400 | [diff] [blame] | 22 | #include <linux/errno.h> |
Wang YanQing | 9a08d37 | 2013-04-19 09:38:04 +0800 | [diff] [blame] | 23 | #include <linux/err.h> |
Will Deacon | d0f60a4 | 2014-08-27 16:15:59 +0100 | [diff] [blame] | 24 | #include <linux/of.h> |
Thierry Reding | 76582d0 | 2012-07-25 16:24:49 +0200 | [diff] [blame] | 25 | #include <linux/types.h> |
Olav Haugan | 315786e | 2014-10-25 09:55:16 -0700 | [diff] [blame] | 26 | #include <linux/scatterlist.h> |
Shuah Khan | 56fa484 | 2013-09-24 15:21:20 -0600 | [diff] [blame] | 27 | #include <trace/events/iommu.h> |
Laura Abbott | 74315cc | 2011-06-08 17:29:11 -0400 | [diff] [blame] | 28 | |
Will Deacon | ca13bb3 | 2013-11-05 15:59:53 +0000 | [diff] [blame] | 29 | #define IOMMU_READ (1 << 0) |
| 30 | #define IOMMU_WRITE (1 << 1) |
| 31 | #define IOMMU_CACHE (1 << 2) /* DMA cache coherency */ |
Antonios Motakis | a720b41 | 2014-10-13 14:06:16 +0100 | [diff] [blame] | 32 | #define IOMMU_NOEXEC (1 << 3) |
Robin Murphy | 31e6850 | 2016-04-05 12:39:30 +0100 | [diff] [blame] | 33 | #define IOMMU_MMIO (1 << 4) /* e.g. things like MSI doorbells */ |
Joerg Roedel | 4a77a6c | 2008-11-26 17:02:33 +0100 | [diff] [blame] | 34 | |
Joerg Roedel | 905d66c | 2011-09-06 16:03:26 +0200 | [diff] [blame] | 35 | struct iommu_ops; |
Alex Williamson | d72e31c | 2012-05-30 14:18:53 -0600 | [diff] [blame] | 36 | struct iommu_group; |
Joerg Roedel | ff21776 | 2011-08-26 16:48:26 +0200 | [diff] [blame] | 37 | struct bus_type; |
Joerg Roedel | 4a77a6c | 2008-11-26 17:02:33 +0100 | [diff] [blame] | 38 | struct device; |
Ohad Ben-Cohen | 4f3f8d9 | 2011-09-13 15:25:23 -0400 | [diff] [blame] | 39 | struct iommu_domain; |
Joerg Roedel | ba1eabfa | 2012-08-03 15:55:41 +0200 | [diff] [blame] | 40 | struct notifier_block; |
Ohad Ben-Cohen | 4f3f8d9 | 2011-09-13 15:25:23 -0400 | [diff] [blame] | 41 | |
| 42 | /* iommu fault flags */ |
| 43 | #define IOMMU_FAULT_READ 0x0 |
| 44 | #define IOMMU_FAULT_WRITE 0x1 |
| 45 | |
| 46 | typedef int (*iommu_fault_handler_t)(struct iommu_domain *, |
Ohad Ben-Cohen | 77ca233 | 2012-05-21 20:20:05 +0300 | [diff] [blame] | 47 | struct device *, unsigned long, int, void *); |
Joerg Roedel | 4a77a6c | 2008-11-26 17:02:33 +0100 | [diff] [blame] | 48 | |
Joerg Roedel | 0ff64f8 | 2012-01-26 19:40:53 +0100 | [diff] [blame] | 49 | struct iommu_domain_geometry { |
| 50 | dma_addr_t aperture_start; /* First address that can be mapped */ |
| 51 | dma_addr_t aperture_end; /* Last address that can be mapped */ |
| 52 | bool force_aperture; /* DMA only allowed in mappable range? */ |
| 53 | }; |
| 54 | |
Joerg Roedel | 8539c7c | 2015-03-26 13:43:05 +0100 | [diff] [blame] | 55 | /* Domain feature flags */ |
| 56 | #define __IOMMU_DOMAIN_PAGING (1U << 0) /* Support for iommu_map/unmap */ |
| 57 | #define __IOMMU_DOMAIN_DMA_API (1U << 1) /* Domain for use in DMA-API |
| 58 | implementation */ |
| 59 | #define __IOMMU_DOMAIN_PT (1U << 2) /* Domain is identity mapped */ |
| 60 | |
| 61 | /* |
| 62 | * This are the possible domain-types |
| 63 | * |
| 64 | * IOMMU_DOMAIN_BLOCKED - All DMA is blocked, can be used to isolate |
| 65 | * devices |
| 66 | * IOMMU_DOMAIN_IDENTITY - DMA addresses are system physical addresses |
| 67 | * IOMMU_DOMAIN_UNMANAGED - DMA mappings managed by IOMMU-API user, used |
| 68 | * for VMs |
| 69 | * IOMMU_DOMAIN_DMA - Internally used for DMA-API implementations. |
| 70 | * This flag allows IOMMU drivers to implement |
| 71 | * certain optimizations for these domains |
| 72 | */ |
| 73 | #define IOMMU_DOMAIN_BLOCKED (0U) |
| 74 | #define IOMMU_DOMAIN_IDENTITY (__IOMMU_DOMAIN_PT) |
| 75 | #define IOMMU_DOMAIN_UNMANAGED (__IOMMU_DOMAIN_PAGING) |
| 76 | #define IOMMU_DOMAIN_DMA (__IOMMU_DOMAIN_PAGING | \ |
| 77 | __IOMMU_DOMAIN_DMA_API) |
| 78 | |
Joerg Roedel | 4a77a6c | 2008-11-26 17:02:33 +0100 | [diff] [blame] | 79 | struct iommu_domain { |
Joerg Roedel | 8539c7c | 2015-03-26 13:43:05 +0100 | [diff] [blame] | 80 | unsigned type; |
Thierry Reding | b22f643 | 2014-06-27 09:03:12 +0200 | [diff] [blame] | 81 | const struct iommu_ops *ops; |
Robin Murphy | d16e0fa | 2016-04-07 18:42:06 +0100 | [diff] [blame] | 82 | unsigned long pgsize_bitmap; /* Bitmap of page sizes in use */ |
Ohad Ben-Cohen | 4f3f8d9 | 2011-09-13 15:25:23 -0400 | [diff] [blame] | 83 | iommu_fault_handler_t handler; |
Ohad Ben-Cohen | 77ca233 | 2012-05-21 20:20:05 +0300 | [diff] [blame] | 84 | void *handler_token; |
Joerg Roedel | 0ff64f8 | 2012-01-26 19:40:53 +0100 | [diff] [blame] | 85 | struct iommu_domain_geometry geometry; |
Robin Murphy | 0db2e5d | 2015-10-01 20:13:58 +0100 | [diff] [blame] | 86 | void *iova_cookie; |
Joerg Roedel | 4a77a6c | 2008-11-26 17:02:33 +0100 | [diff] [blame] | 87 | }; |
| 88 | |
Joerg Roedel | 1aed074 | 2014-09-03 18:34:04 +0200 | [diff] [blame] | 89 | enum iommu_cap { |
| 90 | IOMMU_CAP_CACHE_COHERENCY, /* IOMMU can enforce cache coherent DMA |
| 91 | transactions */ |
| 92 | IOMMU_CAP_INTR_REMAP, /* IOMMU supports interrupt isolation */ |
Antonios Motakis | c498664 | 2014-10-13 14:06:17 +0100 | [diff] [blame] | 93 | IOMMU_CAP_NOEXEC, /* IOMMU_NOEXEC flag */ |
Joerg Roedel | 1aed074 | 2014-09-03 18:34:04 +0200 | [diff] [blame] | 94 | }; |
Sheng Yang | dbb9fd8 | 2009-03-18 15:33:06 +0800 | [diff] [blame] | 95 | |
Varun Sethi | 7cabf49 | 2013-07-15 10:20:56 +0530 | [diff] [blame] | 96 | /* |
| 97 | * Following constraints are specifc to FSL_PAMUV1: |
| 98 | * -aperture must be power of 2, and naturally aligned |
| 99 | * -number of windows must be power of 2, and address space size |
| 100 | * of each window is determined by aperture size / # of windows |
| 101 | * -the actual size of the mapped region of a window must be power |
| 102 | * of 2 starting with 4KB and physical address must be naturally |
| 103 | * aligned. |
| 104 | * DOMAIN_ATTR_FSL_PAMUV1 corresponds to the above mentioned contraints. |
| 105 | * The caller can invoke iommu_domain_get_attr to check if the underlying |
| 106 | * iommu implementation supports these constraints. |
| 107 | */ |
| 108 | |
Joerg Roedel | 0cd76dd | 2012-01-26 19:40:52 +0100 | [diff] [blame] | 109 | enum iommu_attr { |
Joerg Roedel | 0ff64f8 | 2012-01-26 19:40:53 +0100 | [diff] [blame] | 110 | DOMAIN_ATTR_GEOMETRY, |
Joerg Roedel | d2e1216 | 2013-01-29 13:49:04 +0100 | [diff] [blame] | 111 | DOMAIN_ATTR_PAGING, |
Joerg Roedel | 6935671 | 2013-02-04 14:00:01 +0100 | [diff] [blame] | 112 | DOMAIN_ATTR_WINDOWS, |
Varun Sethi | 7cabf49 | 2013-07-15 10:20:56 +0530 | [diff] [blame] | 113 | DOMAIN_ATTR_FSL_PAMU_STASH, |
| 114 | DOMAIN_ATTR_FSL_PAMU_ENABLE, |
| 115 | DOMAIN_ATTR_FSL_PAMUV1, |
Will Deacon | c02607a | 2014-09-29 10:05:06 -0600 | [diff] [blame] | 116 | DOMAIN_ATTR_NESTING, /* two stages of translation */ |
Joerg Roedel | a8b8a88a | 2013-01-29 14:36:31 +0100 | [diff] [blame] | 117 | DOMAIN_ATTR_MAX, |
Joerg Roedel | 0cd76dd | 2012-01-26 19:40:52 +0100 | [diff] [blame] | 118 | }; |
| 119 | |
Joerg Roedel | a1015c2 | 2015-05-28 18:41:33 +0200 | [diff] [blame] | 120 | /** |
| 121 | * struct iommu_dm_region - descriptor for a direct mapped memory region |
| 122 | * @list: Linked list pointers |
| 123 | * @start: System physical start address of the region |
| 124 | * @length: Length of the region in bytes |
| 125 | * @prot: IOMMU Protection flags (READ/WRITE/...) |
| 126 | */ |
| 127 | struct iommu_dm_region { |
| 128 | struct list_head list; |
| 129 | phys_addr_t start; |
| 130 | size_t length; |
| 131 | int prot; |
| 132 | }; |
| 133 | |
Joerg Roedel | 39d4ebb | 2011-09-06 16:48:40 +0200 | [diff] [blame] | 134 | #ifdef CONFIG_IOMMU_API |
| 135 | |
Ohad Ben-Cohen | 7d3002c | 2011-11-10 11:32:26 +0200 | [diff] [blame] | 136 | /** |
| 137 | * struct iommu_ops - iommu ops and capabilities |
Magnus Damm | 0d9bacb | 2016-01-19 14:28:48 +0900 | [diff] [blame] | 138 | * @capable: check capability |
| 139 | * @domain_alloc: allocate iommu domain |
| 140 | * @domain_free: free iommu domain |
Ohad Ben-Cohen | 7d3002c | 2011-11-10 11:32:26 +0200 | [diff] [blame] | 141 | * @attach_dev: attach device to an iommu domain |
| 142 | * @detach_dev: detach device from an iommu domain |
| 143 | * @map: map a physically contiguous memory region to an iommu domain |
| 144 | * @unmap: unmap a physically contiguous memory region from an iommu domain |
Olav Haugan | 315786e | 2014-10-25 09:55:16 -0700 | [diff] [blame] | 145 | * @map_sg: map a scatter-gather list of physically contiguous memory chunks |
| 146 | * to an iommu domain |
Ohad Ben-Cohen | 7d3002c | 2011-11-10 11:32:26 +0200 | [diff] [blame] | 147 | * @iova_to_phys: translate iova to physical address |
Alex Williamson | d72e31c | 2012-05-30 14:18:53 -0600 | [diff] [blame] | 148 | * @add_device: add device to iommu grouping |
| 149 | * @remove_device: remove device from iommu grouping |
Magnus Damm | 0d9bacb | 2016-01-19 14:28:48 +0900 | [diff] [blame] | 150 | * @device_group: find iommu group for a particular device |
Joerg Roedel | 0cd76dd | 2012-01-26 19:40:52 +0100 | [diff] [blame] | 151 | * @domain_get_attr: Query domain attributes |
| 152 | * @domain_set_attr: Change domain attributes |
Magnus Damm | 0d9bacb | 2016-01-19 14:28:48 +0900 | [diff] [blame] | 153 | * @get_dm_regions: Request list of direct mapping requirements for a device |
| 154 | * @put_dm_regions: Free list of direct mapping requirements for a device |
Joerg Roedel | 33b21a6 | 2016-07-05 13:07:53 +0200 | [diff] [blame] | 155 | * @apply_dm_region: Temporary helper call-back for iova reserved ranges |
Magnus Damm | 0d9bacb | 2016-01-19 14:28:48 +0900 | [diff] [blame] | 156 | * @domain_window_enable: Configure and enable a particular window for a domain |
| 157 | * @domain_window_disable: Disable a particular window for a domain |
| 158 | * @domain_set_windows: Set the number of windows for a domain |
| 159 | * @domain_get_windows: Return the number of windows for a domain |
Will Deacon | d0f60a4 | 2014-08-27 16:15:59 +0100 | [diff] [blame] | 160 | * @of_xlate: add OF master IDs to iommu grouping |
Robin Murphy | d16e0fa | 2016-04-07 18:42:06 +0100 | [diff] [blame] | 161 | * @pgsize_bitmap: bitmap of all possible supported page sizes |
Ohad Ben-Cohen | 7d3002c | 2011-11-10 11:32:26 +0200 | [diff] [blame] | 162 | */ |
Joerg Roedel | 4a77a6c | 2008-11-26 17:02:33 +0100 | [diff] [blame] | 163 | struct iommu_ops { |
Joerg Roedel | 3c0e0ca | 2014-09-03 18:47:25 +0200 | [diff] [blame] | 164 | bool (*capable)(enum iommu_cap); |
Joerg Roedel | 938c470 | 2015-03-26 13:43:04 +0100 | [diff] [blame] | 165 | |
| 166 | /* Domain allocation and freeing by the iommu driver */ |
Joerg Roedel | 8539c7c | 2015-03-26 13:43:05 +0100 | [diff] [blame] | 167 | struct iommu_domain *(*domain_alloc)(unsigned iommu_domain_type); |
Joerg Roedel | 938c470 | 2015-03-26 13:43:04 +0100 | [diff] [blame] | 168 | void (*domain_free)(struct iommu_domain *); |
| 169 | |
Joerg Roedel | 4a77a6c | 2008-11-26 17:02:33 +0100 | [diff] [blame] | 170 | int (*attach_dev)(struct iommu_domain *domain, struct device *dev); |
| 171 | void (*detach_dev)(struct iommu_domain *domain, struct device *dev); |
Joerg Roedel | 6765178 | 2010-01-21 16:32:27 +0100 | [diff] [blame] | 172 | int (*map)(struct iommu_domain *domain, unsigned long iova, |
Ohad Ben-Cohen | 5009065 | 2011-11-10 11:32:25 +0200 | [diff] [blame] | 173 | phys_addr_t paddr, size_t size, int prot); |
| 174 | size_t (*unmap)(struct iommu_domain *domain, unsigned long iova, |
| 175 | size_t size); |
Olav Haugan | 315786e | 2014-10-25 09:55:16 -0700 | [diff] [blame] | 176 | size_t (*map_sg)(struct iommu_domain *domain, unsigned long iova, |
| 177 | struct scatterlist *sg, unsigned int nents, int prot); |
Varun Sethi | bb5547a | 2013-03-29 01:23:58 +0530 | [diff] [blame] | 178 | phys_addr_t (*iova_to_phys)(struct iommu_domain *domain, dma_addr_t iova); |
Alex Williamson | d72e31c | 2012-05-30 14:18:53 -0600 | [diff] [blame] | 179 | int (*add_device)(struct device *dev); |
| 180 | void (*remove_device)(struct device *dev); |
Joerg Roedel | 46c6b2b | 2015-10-21 23:51:36 +0200 | [diff] [blame] | 181 | struct iommu_group *(*device_group)(struct device *dev); |
Joerg Roedel | 0cd76dd | 2012-01-26 19:40:52 +0100 | [diff] [blame] | 182 | int (*domain_get_attr)(struct iommu_domain *domain, |
| 183 | enum iommu_attr attr, void *data); |
| 184 | int (*domain_set_attr)(struct iommu_domain *domain, |
| 185 | enum iommu_attr attr, void *data); |
Joerg Roedel | d7787d5 | 2013-01-29 14:26:20 +0100 | [diff] [blame] | 186 | |
Joerg Roedel | a1015c2 | 2015-05-28 18:41:33 +0200 | [diff] [blame] | 187 | /* Request/Free a list of direct mapping requirements for a device */ |
| 188 | void (*get_dm_regions)(struct device *dev, struct list_head *list); |
| 189 | void (*put_dm_regions)(struct device *dev, struct list_head *list); |
Joerg Roedel | 33b21a6 | 2016-07-05 13:07:53 +0200 | [diff] [blame] | 190 | void (*apply_dm_region)(struct device *dev, struct iommu_domain *domain, |
| 191 | struct iommu_dm_region *region); |
Joerg Roedel | a1015c2 | 2015-05-28 18:41:33 +0200 | [diff] [blame] | 192 | |
Joerg Roedel | d7787d5 | 2013-01-29 14:26:20 +0100 | [diff] [blame] | 193 | /* Window handling functions */ |
| 194 | int (*domain_window_enable)(struct iommu_domain *domain, u32 wnd_nr, |
Varun Sethi | 80f97f0 | 2013-03-29 01:24:00 +0530 | [diff] [blame] | 195 | phys_addr_t paddr, u64 size, int prot); |
Joerg Roedel | d7787d5 | 2013-01-29 14:26:20 +0100 | [diff] [blame] | 196 | void (*domain_window_disable)(struct iommu_domain *domain, u32 wnd_nr); |
Magnus Damm | 0d9bacb | 2016-01-19 14:28:48 +0900 | [diff] [blame] | 197 | /* Set the number of windows per domain */ |
Joerg Roedel | 6935671 | 2013-02-04 14:00:01 +0100 | [diff] [blame] | 198 | int (*domain_set_windows)(struct iommu_domain *domain, u32 w_count); |
Magnus Damm | 0d9bacb | 2016-01-19 14:28:48 +0900 | [diff] [blame] | 199 | /* Get the number of windows per domain */ |
Joerg Roedel | 6935671 | 2013-02-04 14:00:01 +0100 | [diff] [blame] | 200 | u32 (*domain_get_windows)(struct iommu_domain *domain); |
Joerg Roedel | d7787d5 | 2013-01-29 14:26:20 +0100 | [diff] [blame] | 201 | |
Will Deacon | d0f60a4 | 2014-08-27 16:15:59 +0100 | [diff] [blame] | 202 | int (*of_xlate)(struct device *dev, struct of_phandle_args *args); |
Will Deacon | d0f60a4 | 2014-08-27 16:15:59 +0100 | [diff] [blame] | 203 | |
Ohad Ben-Cohen | 7d3002c | 2011-11-10 11:32:26 +0200 | [diff] [blame] | 204 | unsigned long pgsize_bitmap; |
Joerg Roedel | 4a77a6c | 2008-11-26 17:02:33 +0100 | [diff] [blame] | 205 | }; |
| 206 | |
Alex Williamson | d72e31c | 2012-05-30 14:18:53 -0600 | [diff] [blame] | 207 | #define IOMMU_GROUP_NOTIFY_ADD_DEVICE 1 /* Device added */ |
| 208 | #define IOMMU_GROUP_NOTIFY_DEL_DEVICE 2 /* Pre Device removed */ |
| 209 | #define IOMMU_GROUP_NOTIFY_BIND_DRIVER 3 /* Pre Driver bind */ |
| 210 | #define IOMMU_GROUP_NOTIFY_BOUND_DRIVER 4 /* Post Driver bind */ |
| 211 | #define IOMMU_GROUP_NOTIFY_UNBIND_DRIVER 5 /* Pre Driver unbind */ |
| 212 | #define IOMMU_GROUP_NOTIFY_UNBOUND_DRIVER 6 /* Post Driver unbind */ |
| 213 | |
Thierry Reding | b22f643 | 2014-06-27 09:03:12 +0200 | [diff] [blame] | 214 | extern int bus_set_iommu(struct bus_type *bus, const struct iommu_ops *ops); |
Joerg Roedel | a1b60c1 | 2011-09-06 18:46:34 +0200 | [diff] [blame] | 215 | extern bool iommu_present(struct bus_type *bus); |
Joerg Roedel | 3c0e0ca | 2014-09-03 18:47:25 +0200 | [diff] [blame] | 216 | extern bool iommu_capable(struct bus_type *bus, enum iommu_cap cap); |
Joerg Roedel | 905d66c | 2011-09-06 16:03:26 +0200 | [diff] [blame] | 217 | extern struct iommu_domain *iommu_domain_alloc(struct bus_type *bus); |
Alexey Kardashevskiy | aa16bea | 2013-03-25 10:23:49 +1100 | [diff] [blame] | 218 | extern struct iommu_group *iommu_group_get_by_id(int id); |
Joerg Roedel | 4a77a6c | 2008-11-26 17:02:33 +0100 | [diff] [blame] | 219 | extern void iommu_domain_free(struct iommu_domain *domain); |
| 220 | extern int iommu_attach_device(struct iommu_domain *domain, |
| 221 | struct device *dev); |
| 222 | extern void iommu_detach_device(struct iommu_domain *domain, |
| 223 | struct device *dev); |
Joerg Roedel | 2c1296d | 2015-05-28 18:41:32 +0200 | [diff] [blame] | 224 | extern struct iommu_domain *iommu_get_domain_for_dev(struct device *dev); |
Joerg Roedel | cefc53c | 2010-01-08 13:35:09 +0100 | [diff] [blame] | 225 | extern int iommu_map(struct iommu_domain *domain, unsigned long iova, |
Ohad Ben-Cohen | 7d3002c | 2011-11-10 11:32:26 +0200 | [diff] [blame] | 226 | phys_addr_t paddr, size_t size, int prot); |
| 227 | extern size_t iommu_unmap(struct iommu_domain *domain, unsigned long iova, |
| 228 | size_t size); |
Olav Haugan | 315786e | 2014-10-25 09:55:16 -0700 | [diff] [blame] | 229 | extern size_t default_iommu_map_sg(struct iommu_domain *domain, unsigned long iova, |
| 230 | struct scatterlist *sg,unsigned int nents, |
| 231 | int prot); |
Varun Sethi | bb5547a | 2013-03-29 01:23:58 +0530 | [diff] [blame] | 232 | extern phys_addr_t iommu_iova_to_phys(struct iommu_domain *domain, dma_addr_t iova); |
Ohad Ben-Cohen | 4f3f8d9 | 2011-09-13 15:25:23 -0400 | [diff] [blame] | 233 | extern void iommu_set_fault_handler(struct iommu_domain *domain, |
Ohad Ben-Cohen | 77ca233 | 2012-05-21 20:20:05 +0300 | [diff] [blame] | 234 | iommu_fault_handler_t handler, void *token); |
Alex Williamson | d72e31c | 2012-05-30 14:18:53 -0600 | [diff] [blame] | 235 | |
Joerg Roedel | a1015c2 | 2015-05-28 18:41:33 +0200 | [diff] [blame] | 236 | extern void iommu_get_dm_regions(struct device *dev, struct list_head *list); |
| 237 | extern void iommu_put_dm_regions(struct device *dev, struct list_head *list); |
Joerg Roedel | d290f1e | 2015-05-28 18:41:36 +0200 | [diff] [blame] | 238 | extern int iommu_request_dm_for_dev(struct device *dev); |
Joerg Roedel | a1015c2 | 2015-05-28 18:41:33 +0200 | [diff] [blame] | 239 | |
Alex Williamson | d72e31c | 2012-05-30 14:18:53 -0600 | [diff] [blame] | 240 | extern int iommu_attach_group(struct iommu_domain *domain, |
| 241 | struct iommu_group *group); |
| 242 | extern void iommu_detach_group(struct iommu_domain *domain, |
| 243 | struct iommu_group *group); |
| 244 | extern struct iommu_group *iommu_group_alloc(void); |
| 245 | extern void *iommu_group_get_iommudata(struct iommu_group *group); |
| 246 | extern void iommu_group_set_iommudata(struct iommu_group *group, |
| 247 | void *iommu_data, |
| 248 | void (*release)(void *iommu_data)); |
| 249 | extern int iommu_group_set_name(struct iommu_group *group, const char *name); |
| 250 | extern int iommu_group_add_device(struct iommu_group *group, |
| 251 | struct device *dev); |
| 252 | extern void iommu_group_remove_device(struct device *dev); |
| 253 | extern int iommu_group_for_each_dev(struct iommu_group *group, void *data, |
| 254 | int (*fn)(struct device *, void *)); |
| 255 | extern struct iommu_group *iommu_group_get(struct device *dev); |
| 256 | extern void iommu_group_put(struct iommu_group *group); |
| 257 | extern int iommu_group_register_notifier(struct iommu_group *group, |
| 258 | struct notifier_block *nb); |
| 259 | extern int iommu_group_unregister_notifier(struct iommu_group *group, |
| 260 | struct notifier_block *nb); |
| 261 | extern int iommu_group_id(struct iommu_group *group); |
Alex Williamson | 104a1c1 | 2014-07-03 09:51:18 -0600 | [diff] [blame] | 262 | extern struct iommu_group *iommu_group_get_for_dev(struct device *dev); |
Joerg Roedel | 6827ca8 | 2015-05-28 18:41:35 +0200 | [diff] [blame] | 263 | extern struct iommu_domain *iommu_group_default_domain(struct iommu_group *); |
Ohad Ben-Cohen | 4f3f8d9 | 2011-09-13 15:25:23 -0400 | [diff] [blame] | 264 | |
Joerg Roedel | 0cd76dd | 2012-01-26 19:40:52 +0100 | [diff] [blame] | 265 | extern int iommu_domain_get_attr(struct iommu_domain *domain, enum iommu_attr, |
| 266 | void *data); |
| 267 | extern int iommu_domain_set_attr(struct iommu_domain *domain, enum iommu_attr, |
| 268 | void *data); |
Alex Williamson | c61959e | 2014-06-12 16:12:24 -0600 | [diff] [blame] | 269 | struct device *iommu_device_create(struct device *parent, void *drvdata, |
| 270 | const struct attribute_group **groups, |
Nicolas Iooss | 8db1486 | 2015-07-17 16:23:42 -0700 | [diff] [blame] | 271 | const char *fmt, ...) __printf(4, 5); |
Alex Williamson | c61959e | 2014-06-12 16:12:24 -0600 | [diff] [blame] | 272 | void iommu_device_destroy(struct device *dev); |
| 273 | int iommu_device_link(struct device *dev, struct device *link); |
| 274 | void iommu_device_unlink(struct device *dev, struct device *link); |
Ohad Ben-Cohen | 4f3f8d9 | 2011-09-13 15:25:23 -0400 | [diff] [blame] | 275 | |
Joerg Roedel | d7787d5 | 2013-01-29 14:26:20 +0100 | [diff] [blame] | 276 | /* Window handling function prototypes */ |
| 277 | extern int iommu_domain_window_enable(struct iommu_domain *domain, u32 wnd_nr, |
Varun Sethi | 80f97f0 | 2013-03-29 01:24:00 +0530 | [diff] [blame] | 278 | phys_addr_t offset, u64 size, |
| 279 | int prot); |
Joerg Roedel | d7787d5 | 2013-01-29 14:26:20 +0100 | [diff] [blame] | 280 | extern void iommu_domain_window_disable(struct iommu_domain *domain, u32 wnd_nr); |
Ohad Ben-Cohen | 4f3f8d9 | 2011-09-13 15:25:23 -0400 | [diff] [blame] | 281 | /** |
| 282 | * report_iommu_fault() - report about an IOMMU fault to the IOMMU framework |
| 283 | * @domain: the iommu domain where the fault has happened |
| 284 | * @dev: the device where the fault has happened |
| 285 | * @iova: the faulting address |
| 286 | * @flags: mmu fault flags (e.g. IOMMU_FAULT_READ/IOMMU_FAULT_WRITE/...) |
| 287 | * |
| 288 | * This function should be called by the low-level IOMMU implementations |
| 289 | * whenever IOMMU faults happen, to allow high-level users, that are |
| 290 | * interested in such events, to know about them. |
| 291 | * |
| 292 | * This event may be useful for several possible use cases: |
| 293 | * - mere logging of the event |
| 294 | * - dynamic TLB/PTE loading |
| 295 | * - if restarting of the faulting device is required |
| 296 | * |
| 297 | * Returns 0 on success and an appropriate error code otherwise (if dynamic |
| 298 | * PTE/TLB loading will one day be supported, implementations will be able |
| 299 | * to tell whether it succeeded or not according to this return value). |
Ohad Ben-Cohen | 0ed6d2d | 2011-09-27 07:36:40 -0400 | [diff] [blame] | 300 | * |
| 301 | * Specifically, -ENOSYS is returned if a fault handler isn't installed |
| 302 | * (though fault handlers can also return -ENOSYS, in case they want to |
| 303 | * elicit the default behavior of the IOMMU drivers). |
Ohad Ben-Cohen | 4f3f8d9 | 2011-09-13 15:25:23 -0400 | [diff] [blame] | 304 | */ |
| 305 | static inline int report_iommu_fault(struct iommu_domain *domain, |
| 306 | struct device *dev, unsigned long iova, int flags) |
| 307 | { |
Ohad Ben-Cohen | 0ed6d2d | 2011-09-27 07:36:40 -0400 | [diff] [blame] | 308 | int ret = -ENOSYS; |
Ohad Ben-Cohen | 4f3f8d9 | 2011-09-13 15:25:23 -0400 | [diff] [blame] | 309 | |
| 310 | /* |
| 311 | * if upper layers showed interest and installed a fault handler, |
| 312 | * invoke it. |
| 313 | */ |
| 314 | if (domain->handler) |
Ohad Ben-Cohen | 77ca233 | 2012-05-21 20:20:05 +0300 | [diff] [blame] | 315 | ret = domain->handler(domain, dev, iova, flags, |
| 316 | domain->handler_token); |
Ohad Ben-Cohen | 4f3f8d9 | 2011-09-13 15:25:23 -0400 | [diff] [blame] | 317 | |
Shuah Khan | 56fa484 | 2013-09-24 15:21:20 -0600 | [diff] [blame] | 318 | trace_io_page_fault(dev, iova, flags); |
Ohad Ben-Cohen | 4f3f8d9 | 2011-09-13 15:25:23 -0400 | [diff] [blame] | 319 | return ret; |
| 320 | } |
Joerg Roedel | 4a77a6c | 2008-11-26 17:02:33 +0100 | [diff] [blame] | 321 | |
Olav Haugan | 315786e | 2014-10-25 09:55:16 -0700 | [diff] [blame] | 322 | static inline size_t iommu_map_sg(struct iommu_domain *domain, |
| 323 | unsigned long iova, struct scatterlist *sg, |
| 324 | unsigned int nents, int prot) |
| 325 | { |
| 326 | return domain->ops->map_sg(domain, iova, sg, nents, prot); |
| 327 | } |
| 328 | |
Joerg Roedel | 5e62292 | 2015-10-21 23:51:37 +0200 | [diff] [blame] | 329 | /* PCI device grouping function */ |
| 330 | extern struct iommu_group *pci_device_group(struct device *dev); |
Joerg Roedel | 6eab556 | 2015-10-21 23:51:38 +0200 | [diff] [blame] | 331 | /* Generic device grouping function */ |
| 332 | extern struct iommu_group *generic_device_group(struct device *dev); |
Joerg Roedel | 5e62292 | 2015-10-21 23:51:37 +0200 | [diff] [blame] | 333 | |
Robin Murphy | 57f98d2 | 2016-09-13 10:54:14 +0100 | [diff] [blame] | 334 | /** |
| 335 | * struct iommu_fwspec - per-device IOMMU instance data |
| 336 | * @ops: ops for this device's IOMMU |
| 337 | * @iommu_fwnode: firmware handle for this device's IOMMU |
| 338 | * @iommu_priv: IOMMU driver private data for this device |
| 339 | * @num_ids: number of associated device IDs |
| 340 | * @ids: IDs which this device may present to the IOMMU |
| 341 | */ |
| 342 | struct iommu_fwspec { |
| 343 | const struct iommu_ops *ops; |
| 344 | struct fwnode_handle *iommu_fwnode; |
| 345 | void *iommu_priv; |
| 346 | unsigned int num_ids; |
| 347 | u32 ids[1]; |
| 348 | }; |
| 349 | |
| 350 | int iommu_fwspec_init(struct device *dev, struct fwnode_handle *iommu_fwnode, |
| 351 | const struct iommu_ops *ops); |
| 352 | void iommu_fwspec_free(struct device *dev); |
| 353 | int iommu_fwspec_add_ids(struct device *dev, u32 *ids, int num_ids); |
| 354 | |
Joerg Roedel | 4a77a6c | 2008-11-26 17:02:33 +0100 | [diff] [blame] | 355 | #else /* CONFIG_IOMMU_API */ |
| 356 | |
Joerg Roedel | 39d4ebb | 2011-09-06 16:48:40 +0200 | [diff] [blame] | 357 | struct iommu_ops {}; |
Alex Williamson | d72e31c | 2012-05-30 14:18:53 -0600 | [diff] [blame] | 358 | struct iommu_group {}; |
Robin Murphy | 57f98d2 | 2016-09-13 10:54:14 +0100 | [diff] [blame] | 359 | struct iommu_fwspec {}; |
Joerg Roedel | 4a77a6c | 2008-11-26 17:02:33 +0100 | [diff] [blame] | 360 | |
Joerg Roedel | a1b60c1 | 2011-09-06 18:46:34 +0200 | [diff] [blame] | 361 | static inline bool iommu_present(struct bus_type *bus) |
Joerg Roedel | 4a77a6c | 2008-11-26 17:02:33 +0100 | [diff] [blame] | 362 | { |
| 363 | return false; |
| 364 | } |
| 365 | |
Joerg Roedel | 3c0e0ca | 2014-09-03 18:47:25 +0200 | [diff] [blame] | 366 | static inline bool iommu_capable(struct bus_type *bus, enum iommu_cap cap) |
| 367 | { |
| 368 | return false; |
| 369 | } |
| 370 | |
Joerg Roedel | 905d66c | 2011-09-06 16:03:26 +0200 | [diff] [blame] | 371 | static inline struct iommu_domain *iommu_domain_alloc(struct bus_type *bus) |
Joerg Roedel | 4a77a6c | 2008-11-26 17:02:33 +0100 | [diff] [blame] | 372 | { |
| 373 | return NULL; |
| 374 | } |
| 375 | |
Alexey Kardashevskiy | b62dfd2 | 2013-11-21 17:41:14 +1100 | [diff] [blame] | 376 | static inline struct iommu_group *iommu_group_get_by_id(int id) |
| 377 | { |
| 378 | return NULL; |
| 379 | } |
| 380 | |
Joerg Roedel | 4a77a6c | 2008-11-26 17:02:33 +0100 | [diff] [blame] | 381 | static inline void iommu_domain_free(struct iommu_domain *domain) |
| 382 | { |
| 383 | } |
| 384 | |
| 385 | static inline int iommu_attach_device(struct iommu_domain *domain, |
| 386 | struct device *dev) |
| 387 | { |
| 388 | return -ENODEV; |
| 389 | } |
| 390 | |
| 391 | static inline void iommu_detach_device(struct iommu_domain *domain, |
| 392 | struct device *dev) |
| 393 | { |
| 394 | } |
| 395 | |
Joerg Roedel | 2c1296d | 2015-05-28 18:41:32 +0200 | [diff] [blame] | 396 | static inline struct iommu_domain *iommu_get_domain_for_dev(struct device *dev) |
| 397 | { |
| 398 | return NULL; |
| 399 | } |
| 400 | |
Joerg Roedel | cefc53c | 2010-01-08 13:35:09 +0100 | [diff] [blame] | 401 | static inline int iommu_map(struct iommu_domain *domain, unsigned long iova, |
| 402 | phys_addr_t paddr, int gfp_order, int prot) |
| 403 | { |
| 404 | return -ENODEV; |
| 405 | } |
| 406 | |
| 407 | static inline int iommu_unmap(struct iommu_domain *domain, unsigned long iova, |
| 408 | int gfp_order) |
| 409 | { |
| 410 | return -ENODEV; |
| 411 | } |
| 412 | |
Olav Haugan | 315786e | 2014-10-25 09:55:16 -0700 | [diff] [blame] | 413 | static inline size_t iommu_map_sg(struct iommu_domain *domain, |
| 414 | unsigned long iova, struct scatterlist *sg, |
| 415 | unsigned int nents, int prot) |
| 416 | { |
| 417 | return -ENODEV; |
| 418 | } |
| 419 | |
Joerg Roedel | d7787d5 | 2013-01-29 14:26:20 +0100 | [diff] [blame] | 420 | static inline int iommu_domain_window_enable(struct iommu_domain *domain, |
| 421 | u32 wnd_nr, phys_addr_t paddr, |
Varun Sethi | 80f97f0 | 2013-03-29 01:24:00 +0530 | [diff] [blame] | 422 | u64 size, int prot) |
Joerg Roedel | d7787d5 | 2013-01-29 14:26:20 +0100 | [diff] [blame] | 423 | { |
| 424 | return -ENODEV; |
| 425 | } |
| 426 | |
| 427 | static inline void iommu_domain_window_disable(struct iommu_domain *domain, |
| 428 | u32 wnd_nr) |
| 429 | { |
| 430 | } |
| 431 | |
Varun Sethi | bb5547a | 2013-03-29 01:23:58 +0530 | [diff] [blame] | 432 | static inline phys_addr_t iommu_iova_to_phys(struct iommu_domain *domain, dma_addr_t iova) |
Joerg Roedel | 4a77a6c | 2008-11-26 17:02:33 +0100 | [diff] [blame] | 433 | { |
| 434 | return 0; |
| 435 | } |
| 436 | |
Ohad Ben-Cohen | 4f3f8d9 | 2011-09-13 15:25:23 -0400 | [diff] [blame] | 437 | static inline void iommu_set_fault_handler(struct iommu_domain *domain, |
Ohad Ben-Cohen | 77ca233 | 2012-05-21 20:20:05 +0300 | [diff] [blame] | 438 | iommu_fault_handler_t handler, void *token) |
Ohad Ben-Cohen | 4f3f8d9 | 2011-09-13 15:25:23 -0400 | [diff] [blame] | 439 | { |
| 440 | } |
| 441 | |
Joerg Roedel | a1015c2 | 2015-05-28 18:41:33 +0200 | [diff] [blame] | 442 | static inline void iommu_get_dm_regions(struct device *dev, |
| 443 | struct list_head *list) |
| 444 | { |
| 445 | } |
| 446 | |
| 447 | static inline void iommu_put_dm_regions(struct device *dev, |
| 448 | struct list_head *list) |
| 449 | { |
| 450 | } |
| 451 | |
Joerg Roedel | d290f1e | 2015-05-28 18:41:36 +0200 | [diff] [blame] | 452 | static inline int iommu_request_dm_for_dev(struct device *dev) |
| 453 | { |
| 454 | return -ENODEV; |
| 455 | } |
| 456 | |
Alex Williamson | bef83de | 2012-09-24 21:23:25 -0600 | [diff] [blame] | 457 | static inline int iommu_attach_group(struct iommu_domain *domain, |
| 458 | struct iommu_group *group) |
Alex Williamson | 1460432 | 2011-10-21 15:56:05 -0400 | [diff] [blame] | 459 | { |
| 460 | return -ENODEV; |
| 461 | } |
| 462 | |
Alex Williamson | bef83de | 2012-09-24 21:23:25 -0600 | [diff] [blame] | 463 | static inline void iommu_detach_group(struct iommu_domain *domain, |
| 464 | struct iommu_group *group) |
Alex Williamson | d72e31c | 2012-05-30 14:18:53 -0600 | [diff] [blame] | 465 | { |
| 466 | } |
| 467 | |
Alex Williamson | bef83de | 2012-09-24 21:23:25 -0600 | [diff] [blame] | 468 | static inline struct iommu_group *iommu_group_alloc(void) |
Alex Williamson | d72e31c | 2012-05-30 14:18:53 -0600 | [diff] [blame] | 469 | { |
| 470 | return ERR_PTR(-ENODEV); |
| 471 | } |
| 472 | |
Alex Williamson | bef83de | 2012-09-24 21:23:25 -0600 | [diff] [blame] | 473 | static inline void *iommu_group_get_iommudata(struct iommu_group *group) |
Alex Williamson | d72e31c | 2012-05-30 14:18:53 -0600 | [diff] [blame] | 474 | { |
| 475 | return NULL; |
| 476 | } |
| 477 | |
Alex Williamson | bef83de | 2012-09-24 21:23:25 -0600 | [diff] [blame] | 478 | static inline void iommu_group_set_iommudata(struct iommu_group *group, |
| 479 | void *iommu_data, |
| 480 | void (*release)(void *iommu_data)) |
Alex Williamson | d72e31c | 2012-05-30 14:18:53 -0600 | [diff] [blame] | 481 | { |
| 482 | } |
| 483 | |
Alex Williamson | bef83de | 2012-09-24 21:23:25 -0600 | [diff] [blame] | 484 | static inline int iommu_group_set_name(struct iommu_group *group, |
| 485 | const char *name) |
Alex Williamson | d72e31c | 2012-05-30 14:18:53 -0600 | [diff] [blame] | 486 | { |
| 487 | return -ENODEV; |
| 488 | } |
| 489 | |
Alex Williamson | bef83de | 2012-09-24 21:23:25 -0600 | [diff] [blame] | 490 | static inline int iommu_group_add_device(struct iommu_group *group, |
| 491 | struct device *dev) |
Alex Williamson | d72e31c | 2012-05-30 14:18:53 -0600 | [diff] [blame] | 492 | { |
| 493 | return -ENODEV; |
| 494 | } |
| 495 | |
Alex Williamson | bef83de | 2012-09-24 21:23:25 -0600 | [diff] [blame] | 496 | static inline void iommu_group_remove_device(struct device *dev) |
Alex Williamson | d72e31c | 2012-05-30 14:18:53 -0600 | [diff] [blame] | 497 | { |
| 498 | } |
| 499 | |
Alex Williamson | bef83de | 2012-09-24 21:23:25 -0600 | [diff] [blame] | 500 | static inline int iommu_group_for_each_dev(struct iommu_group *group, |
| 501 | void *data, |
| 502 | int (*fn)(struct device *, void *)) |
Alex Williamson | d72e31c | 2012-05-30 14:18:53 -0600 | [diff] [blame] | 503 | { |
| 504 | return -ENODEV; |
| 505 | } |
| 506 | |
Alex Williamson | bef83de | 2012-09-24 21:23:25 -0600 | [diff] [blame] | 507 | static inline struct iommu_group *iommu_group_get(struct device *dev) |
Alex Williamson | d72e31c | 2012-05-30 14:18:53 -0600 | [diff] [blame] | 508 | { |
| 509 | return NULL; |
| 510 | } |
| 511 | |
Alex Williamson | bef83de | 2012-09-24 21:23:25 -0600 | [diff] [blame] | 512 | static inline void iommu_group_put(struct iommu_group *group) |
Alex Williamson | d72e31c | 2012-05-30 14:18:53 -0600 | [diff] [blame] | 513 | { |
| 514 | } |
| 515 | |
Alex Williamson | bef83de | 2012-09-24 21:23:25 -0600 | [diff] [blame] | 516 | static inline int iommu_group_register_notifier(struct iommu_group *group, |
| 517 | struct notifier_block *nb) |
Alex Williamson | d72e31c | 2012-05-30 14:18:53 -0600 | [diff] [blame] | 518 | { |
| 519 | return -ENODEV; |
| 520 | } |
| 521 | |
Alex Williamson | bef83de | 2012-09-24 21:23:25 -0600 | [diff] [blame] | 522 | static inline int iommu_group_unregister_notifier(struct iommu_group *group, |
| 523 | struct notifier_block *nb) |
Alex Williamson | d72e31c | 2012-05-30 14:18:53 -0600 | [diff] [blame] | 524 | { |
| 525 | return 0; |
| 526 | } |
| 527 | |
Alex Williamson | bef83de | 2012-09-24 21:23:25 -0600 | [diff] [blame] | 528 | static inline int iommu_group_id(struct iommu_group *group) |
Alex Williamson | d72e31c | 2012-05-30 14:18:53 -0600 | [diff] [blame] | 529 | { |
| 530 | return -ENODEV; |
| 531 | } |
Joerg Roedel | 4a77a6c | 2008-11-26 17:02:33 +0100 | [diff] [blame] | 532 | |
Joerg Roedel | 0cd76dd | 2012-01-26 19:40:52 +0100 | [diff] [blame] | 533 | static inline int iommu_domain_get_attr(struct iommu_domain *domain, |
| 534 | enum iommu_attr attr, void *data) |
| 535 | { |
| 536 | return -EINVAL; |
| 537 | } |
| 538 | |
| 539 | static inline int iommu_domain_set_attr(struct iommu_domain *domain, |
| 540 | enum iommu_attr attr, void *data) |
| 541 | { |
| 542 | return -EINVAL; |
| 543 | } |
| 544 | |
Alex Williamson | e09f8ea | 2014-07-07 14:31:36 -0600 | [diff] [blame] | 545 | static inline struct device *iommu_device_create(struct device *parent, |
| 546 | void *drvdata, |
| 547 | const struct attribute_group **groups, |
| 548 | const char *fmt, ...) |
Alex Williamson | c61959e | 2014-06-12 16:12:24 -0600 | [diff] [blame] | 549 | { |
| 550 | return ERR_PTR(-ENODEV); |
| 551 | } |
| 552 | |
Alex Williamson | e09f8ea | 2014-07-07 14:31:36 -0600 | [diff] [blame] | 553 | static inline void iommu_device_destroy(struct device *dev) |
Alex Williamson | c61959e | 2014-06-12 16:12:24 -0600 | [diff] [blame] | 554 | { |
| 555 | } |
| 556 | |
Alex Williamson | e09f8ea | 2014-07-07 14:31:36 -0600 | [diff] [blame] | 557 | static inline int iommu_device_link(struct device *dev, struct device *link) |
Alex Williamson | c61959e | 2014-06-12 16:12:24 -0600 | [diff] [blame] | 558 | { |
| 559 | return -EINVAL; |
| 560 | } |
| 561 | |
Alex Williamson | e09f8ea | 2014-07-07 14:31:36 -0600 | [diff] [blame] | 562 | static inline void iommu_device_unlink(struct device *dev, struct device *link) |
Alex Williamson | c61959e | 2014-06-12 16:12:24 -0600 | [diff] [blame] | 563 | { |
| 564 | } |
| 565 | |
Robin Murphy | 57f98d2 | 2016-09-13 10:54:14 +0100 | [diff] [blame] | 566 | static inline int iommu_fwspec_init(struct device *dev, |
| 567 | struct fwnode_handle *iommu_fwnode, |
| 568 | const struct iommu_ops *ops) |
| 569 | { |
| 570 | return -ENODEV; |
| 571 | } |
| 572 | |
| 573 | static inline void iommu_fwspec_free(struct device *dev) |
| 574 | { |
| 575 | } |
| 576 | |
| 577 | static inline int iommu_fwspec_add_ids(struct device *dev, u32 *ids, |
| 578 | int num_ids) |
| 579 | { |
| 580 | return -ENODEV; |
| 581 | } |
| 582 | |
Joerg Roedel | 4a77a6c | 2008-11-26 17:02:33 +0100 | [diff] [blame] | 583 | #endif /* CONFIG_IOMMU_API */ |
| 584 | |
| 585 | #endif /* __LINUX_IOMMU_H */ |