diff options
Diffstat (limited to 'bootloader/gigabeat.c')
-rw-r--r-- | bootloader/gigabeat.c | 4 |
1 files changed, 2 insertions, 2 deletions
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) printf("Loading firmware"); /* Flush out anything pending first */ - cpucache_invalidate(); + commit_discard_idcache(); loadbuffer = (unsigned char*) 0x31000000; buffer_size = (unsigned char*)0x31400000 - loadbuffer; @@ -209,7 +209,7 @@ void main(void) if (rc == EOK) { - cpucache_invalidate(); + commit_discard_idcache(); kernel_entry = (void*) loadbuffer; rc = kernel_entry(); } |