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) | |||
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 | } |