2 files changed, 4 insertions, 2 deletions

diff --git a/bootloader/gigabeat-s.c b/bootloader/gigabeat-s.c
index b6db9e633f..9c5ad93d1f 100644
--- a/bootloader/gigabeat-s.c
+++ b/bootloader/gigabeat-s.c
@@ -22,6 +22,7 @@
 #include "system.h"
 #include <stdio.h>
 #include "kernel.h"
+#include "gcc_extensions.h"
 #include "string.h"
 #include "adc.h"
 #include "powermgmt.h"
@@ -296,7 +297,7 @@ static void handle_untar(void)
 }
 
 /* Try to load the firmware and run it */
-static void __attribute__((noreturn)) handle_firmware_load(void)
+static void NORETURN_ATTR handle_firmware_load(void)
 {
     int rc = load_firmware(load_buf, BOOTFILE,
                            load_buf_size);
diff --git a/bootloader/sansa_as3525.c b/bootloader/sansa_as3525.c
index d8dc3f3936..140fa02a76 100644
--- a/bootloader/sansa_as3525.c
+++ b/bootloader/sansa_as3525.c
@@ -26,6 +26,7 @@
 #include <system.h>
 #include <inttypes.h>
 #include "config.h"
+#include "gcc_extensions.h"
 #include "lcd.h"
 #ifdef USE_ROCKBOX_USB
 #include "usb.h"
@@ -70,7 +71,7 @@ static void usb_mode(void)
 }
 #endif /* USE_ROCKBOX_USB */
 
-void main(void) __attribute__((noreturn));
+void main(void) NORETURN_ATTR;
 void main(void)
 {
     unsigned char* loadbuffer;