summaryrefslogtreecommitdiff
path: root/bootloader
diff options
context:
space:
mode:
Diffstat (limited to 'bootloader')
-rw-r--r--bootloader/gigabeat-s.c2
-rw-r--r--bootloader/gigabeat.c4
2 files changed, 3 insertions, 3 deletions
diff --git a/bootloader/gigabeat-s.c b/bootloader/gigabeat-s.c
index 223d839010..8483170522 100644
--- a/bootloader/gigabeat-s.c
+++ b/bootloader/gigabeat-s.c
@@ -324,7 +324,7 @@ static void NORETURN_ATTR handle_firmware_load(void)
324 324
325 if (rc == EOK) 325 if (rc == EOK)
326 { 326 {
327 cpucache_commit_discard(); 327 commit_discard_idcache();
328 asm volatile ("bx %0": : "r"(start_addr)); 328 asm volatile ("bx %0": : "r"(start_addr));
329 } 329 }
330 330
diff --git a/bootloader/gigabeat.c b/bootloader/gigabeat.c
index cfba4bb38d..fb03f0ea4d 100644
--- a/bootloader/gigabeat.c
+++ b/bootloader/gigabeat.c
@@ -195,7 +195,7 @@ void main(void)
195 printf("Loading firmware"); 195 printf("Loading firmware");
196 196
197 /* Flush out anything pending first */ 197 /* Flush out anything pending first */
198 cpucache_invalidate(); 198 commit_discard_idcache();
199 199
200 loadbuffer = (unsigned char*) 0x31000000; 200 loadbuffer = (unsigned char*) 0x31000000;
201 buffer_size = (unsigned char*)0x31400000 - loadbuffer; 201 buffer_size = (unsigned char*)0x31400000 - loadbuffer;
@@ -209,7 +209,7 @@ void main(void)
209 209
210 if (rc == EOK) 210 if (rc == EOK)
211 { 211 {
212 cpucache_invalidate(); 212 commit_discard_idcache();
213 kernel_entry = (void*) loadbuffer; 213 kernel_entry = (void*) loadbuffer;
214 rc = kernel_entry(); 214 rc = kernel_entry();
215 } 215 }