2 files changed, 4 insertions, 4 deletions

diff --git a/bootloader/gigabeat-s.c b/bootloader/gigabeat-s.c
index cd3b1df545..2e95d4cf64 100644
--- a/bootloader/gigabeat-s.c
+++ b/bootloader/gigabeat-s.c
@@ -311,7 +311,7 @@ static void __attribute__((noreturn)) handle_firmware_load(void)
 
     if (rc == EOK)
     {
-        invalidate_icache();
+        cpucache_invalidate();
         asm volatile ("bx %0": : "r"(start_addr));
     }
 
@@ -332,7 +332,7 @@ void main(void)
     int rc;
 
     /* Flush and invalidate all caches (because vectors were written) */
-    invalidate_icache();
+    cpucache_invalidate();
 
     system_init();
     kernel_init();
diff --git a/bootloader/gigabeat.c b/bootloader/gigabeat.c
index a3732b0e06..23fedcc463 100644
--- a/bootloader/gigabeat.c
+++ b/bootloader/gigabeat.c
@@ -196,7 +196,7 @@ void main(void)
     printf("Loading firmware");
 
     /* Flush out anything pending first */
-    invalidate_icache();
+    cpucache_invalidate();
 
     loadbuffer = (unsigned char*) 0x31000000;
     buffer_size = (unsigned char*)0x31400000 - loadbuffer;
@@ -210,7 +210,7 @@ void main(void)
 
     if (rc == EOK)
     {
-        invalidate_icache();
+        cpucache_invalidate();
         kernel_entry = (void*) loadbuffer;
         rc = kernel_entry();
     }