diff options
author | Carlo Caione <[email protected]> | 2015-02-09 10:38:35 +0100 |
---|---|---|
committer | Russell King <[email protected]> | 2015-02-23 14:43:59 +0000 |
commit | 6e8266e3333bd01700decf9866725e254d84f21a (patch) | |
tree | 59968b8da6ae5cecbdb79dc7ffe90220ba3e53e5 /scripts/gdb | |
parent | 415ae101caf9fbf6746a88126494eda333174e90 (diff) |
ARM: 8304/1: Respect NO_KERNEL_MAPPING when we don't have an IOMMU
Even without an iommu, NO_KERNEL_MAPPING is still convenient to save on
kernel address space in places where we don't need a kernel mapping.
Implement support for it in the two places where we're creating an
expensive mapping.
__alloc_from_pool uses an internal pool from which we already have
virtual addresses, so it's not relevant, and __alloc_simple_buffer uses
alloc_pages, which will always return a lowmem page, which is already
mapped into kernel space, so we can't prevent a mapping for it in that
case.
Signed-off-by: Jasper St. Pierre <[email protected]>
Signed-off-by: Carlo Caione <[email protected]>
Reviewed-by: Rob Clark <[email protected]>
Reviewed-by: Daniel Drake <[email protected]>
Acked-by: Marek Szyprowski <[email protected]>
Signed-off-by: Russell King <[email protected]>
Diffstat (limited to 'scripts/gdb')
0 files changed, 0 insertions, 0 deletions