altos: Add generic LED driver.

[fw/altos] / src / stm32f4 / ao_arch.h

diff --git a/src/stm32f4/ao_arch.h b/src/stm32f4/ao_arch.h
index 805d756d12f4ab4c529a6b17709d69ce1824ce7f..73eb793fbd0164b5657e4285db724bdb0dd1511a 100644 (file)
--- a/src/stm32f4/ao_arch.h
+++ b/src/stm32f4/ao_arch.h
@@ -29,9 +29,6 @@
 #define ao_arch_task_members\
        uint32_t *sp;                   /* saved stack pointer */
 
-#define ao_arch_block_interrupts()     asm("cpsid i")
-#define ao_arch_release_interrupts()   asm("cpsie i")
-
 #define ao_arch_naked_declare  __attribute__((naked))
 #define ao_arch_naked_define