Lines Matching refs:memory
110 is bypassed when the device accesses memory. In seL4, device drivers run
113 access or corrupt memory that is not part of its address space, thus
115 the IOMMU on Intel x86-based platforms. An IOMMU allows memory to be
117 device, restricting the regions of system memory that it can access.
125 modify a device's memory mappings.
129 memory accesses.
187 devices that can initiate direct memory accesses (DMA).
189 An Arm SMMU v2.0 implementation allows device memory transactions to be associated
192 address translation, memory protection and memory attribute transformation.
194 to stages in the ArmV8 virtual memory system architecture such as either
201 Faults that occur when a memory transaction conflicts with a StreamID or CB
220 modify memory contents that it has been explicitly given access to and allow