start = start_addr & ~(CONFIG_SYS_CACHELINE_SIZE - 1);
        end = start_addr + size - 1;
 
-       for (addr = start; addr <= end; addr += CONFIG_SYS_CACHELINE_SIZE) {
+       for (addr = start; (addr <= end) && (addr >= start);
+                       addr += CONFIG_SYS_CACHELINE_SIZE) {
                asm volatile("dcbst 0,%0" : : "r" (addr) : "memory");
                WATCHDOG_RESET();
        }
        /* wait for all dcbst to complete on bus */
        asm volatile("sync" : : : "memory");
 
-       for (addr = start; addr <= end; addr += CONFIG_SYS_CACHELINE_SIZE) {
+       for (addr = start; (addr <= end) && (addr >= start);
+                       addr += CONFIG_SYS_CACHELINE_SIZE) {
                asm volatile("icbi 0,%0" : : "r" (addr) : "memory");
                WATCHDOG_RESET();
        }