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