diff options
Diffstat (limited to 'bootloader')
-rw-r--r-- | bootloader/gigabeat-s.c | 2 | ||||
-rw-r--r-- | bootloader/gigabeat.c | 4 |
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 | } |