altos: Remove 8051 address space specifiers

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

diff --git a/src/kernel/ao_report_micro.c b/src/kernel/ao_report_micro.c
index 9c7afdc56d2a850d28bc2f9a2920b44bfba9c94d..efada54b516be302d477c891e05947292e9640f8 100644 (file)
--- a/src/kernel/ao_report_micro.c
+++ b/src/kernel/ao_report_micro.c
@@ -23,7 +23,7 @@
 #define pause(time)    ao_delay(time)
 
 static void
-ao_report_digit(uint8_t digit) __reentrant
+ao_report_digit(uint8_t digit) 
 {
        if (!digit) {
                mid(AO_MS_TO_TICKS(1000));
@@ -40,9 +40,9 @@ ao_report_digit(uint8_t digit) __reentrant
 void
 ao_report_altitude(void)
 {
-       __pdata alt_t   agl = ao_max_height;
-       static __xdata uint8_t  digits[11];
-       __pdata uint8_t ndigits, i;
+       alt_t   agl = ao_max_height;
+       static uint8_t  digits[11];
+       uint8_t ndigits, i;
 
        if (agl < 0)
                agl = 0;