altos: Remove 8051 address space specifiers

[fw/altos] / src / kernel / ao_gps_show.c

diff --git a/src/kernel/ao_gps_show.c b/src/kernel/ao_gps_show.c
index ec19776946aad3cf17a026ea70347443f1a8a52e..ab29e5e507daa74828f5a3d898347460f44f9f9c 100644 (file)
--- a/src/kernel/ao_gps_show.c
+++ b/src/kernel/ao_gps_show.c
@@ -23,7 +23,7 @@
 #include <ao_data.h>
 
 void
-ao_gps_show(void) __reentrant
+ao_gps_show(void) 
 {
        uint8_t i;
        ao_mutex_get(&ao_gps_mutex);