From c900c580aed90329b1dae0adeea2decf91a87b3f Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Sat, 21 Sep 2013 12:16:34 -0600
Subject: [PATCH] ARMv7-A: Clarify end address paramet in cache operations:  It
 is the end+1 address, not the end address

---
 arch/arm/src/armv7-a/cache.h                  | 8 ++++----
 arch/arm/src/armv7-a/cp15_clean_dcache.S      | 2 +-
 arch/arm/src/armv7-a/cp15_coherent_dcache.S   | 2 +-
 arch/arm/src/armv7-a/cp15_flush_dcache.S      | 2 +-
 arch/arm/src/armv7-a/cp15_invalidate_dcache.S | 2 +-
 5 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/arch/arm/src/armv7-a/cache.h b/arch/arm/src/armv7-a/cache.h
index aa1c7c3f12..583a9ec4c9 100644
--- a/arch/arm/src/armv7-a/cache.h
+++ b/arch/arm/src/armv7-a/cache.h
@@ -901,7 +901,7 @@ extern "C" {
  *
  * Input Parameters:
  *   start - virtual start address of region
- *   end   - virtual end address of region
+ *   end   - virtual end address of region + 1
  *
  * Returned Value:
  *   None
@@ -920,7 +920,7 @@ void cp15_coherent_dcache(uintptr_t start, uintptr_t end);
  *
  * Input Parameters:
  *   start - virtual start address of region
- *   end   - virtual end address of region
+ *   end   - virtual end address of region + 1
  *
  * Returned Value:
  *   None
@@ -954,7 +954,7 @@ void cp15_invalidate_dcache_all(void);
  *
  * Input Parameters:
  *   start - virtual start address of region
- *   end   - virtual end address of region
+ *   end   - virtual end address of region + 1
  *
  * Returned Value:
  *   None
@@ -972,7 +972,7 @@ void cp15_clean_dcache(uintptr_t start, uintptr_t end);
  *
  * Input Parameters:
  *   start - virtual start address of region
- *   end   - virtual end address of region
+ *   end   - virtual end address of region + 1
  *
  * Returned Value:
  *   None
diff --git a/arch/arm/src/armv7-a/cp15_clean_dcache.S b/arch/arm/src/armv7-a/cp15_clean_dcache.S
index 24508f4d1f..fdc7513ede 100755
--- a/arch/arm/src/armv7-a/cp15_clean_dcache.S
+++ b/arch/arm/src/armv7-a/cp15_clean_dcache.S
@@ -80,7 +80,7 @@
  *
  * Input Parameters:
  *   start - virtual start address of region
- *   end   - virtual end address of region
+ *   end   - virtual end address of region + 1
  *
  * Returned Value:
  *   None
diff --git a/arch/arm/src/armv7-a/cp15_coherent_dcache.S b/arch/arm/src/armv7-a/cp15_coherent_dcache.S
index 40e7d59197..3be2d666d5 100755
--- a/arch/arm/src/armv7-a/cp15_coherent_dcache.S
+++ b/arch/arm/src/armv7-a/cp15_coherent_dcache.S
@@ -82,7 +82,7 @@
  *
  * Input Parameters:
  *   start - virtual start address of region
- *   end   - virtual end address of region
+ *   end   - virtual end address of region + 1
  *
  * Returned Value:
  *   None
diff --git a/arch/arm/src/armv7-a/cp15_flush_dcache.S b/arch/arm/src/armv7-a/cp15_flush_dcache.S
index 9ff8e1972d..2e21db5981 100755
--- a/arch/arm/src/armv7-a/cp15_flush_dcache.S
+++ b/arch/arm/src/armv7-a/cp15_flush_dcache.S
@@ -80,7 +80,7 @@
  *
  * Input Parameters:
  *   start - virtual start address of region
- *   end   - virtual end address of region
+ *   end   - virtual end address of region + 1
  *
  * Returned Value:
  *   None
diff --git a/arch/arm/src/armv7-a/cp15_invalidate_dcache.S b/arch/arm/src/armv7-a/cp15_invalidate_dcache.S
index dcc44dc104..5e0defbfc8 100755
--- a/arch/arm/src/armv7-a/cp15_invalidate_dcache.S
+++ b/arch/arm/src/armv7-a/cp15_invalidate_dcache.S
@@ -81,7 +81,7 @@
  *
  * Input Parameters:
  *   start - virtual start address of region
- *   end   - virtual end address of region
+ *   end   - virtual end address of region + 1
  *
  * Returned Value:
  *   None