static inline las funciones de memoria.

memoria/basico/taskLemmingA.c

@@ -21,8 +21,8 @@
     __asm__ volatile("ud2");                                                   \
   } while (0)
 
-void read_addr(uintptr_t addr);
-void write_addr(uintptr_t addr);
+static inline void read_addr(uintptr_t addr);
+static inline void write_addr(uintptr_t addr);
 
 void task(void) {
   // La tarea corre desde la dire virtual 0x8000000
@@ -57,7 +57,7 @@ void task(void) {
   }
 }
 
-void read_addr(uintptr_t addr) {
+static inline void read_addr(uintptr_t addr) {
   uint8_t discard;
 
   __asm__ volatile("mov (%[addr]), %[discard]"
@@ -65,7 +65,7 @@ void read_addr(uintptr_t addr) {
                    : [addr] "r"(addr));
 }
 
-void write_addr(uintptr_t addr) {
+static inline void write_addr(uintptr_t addr) {
   uint16_t discard = 0x4141;
   __asm__ volatile("mov %[discard], (%[addr])"
                    :

memoria/basico/taskLemmingB.c

@@ -21,8 +21,8 @@
     __asm__ volatile("ud2");                                                   \
   } while (0)
 
-void read_addr(uintptr_t addr);
-void write_addr(uintptr_t addr);
+static inline void read_addr(uintptr_t addr);
+static inline void write_addr(uintptr_t addr);
 
 void task(void) {
   // La tarea corre desde la dire virtual 0x8000000
@@ -57,7 +57,7 @@ void task(void) {
   }
 }
 
-void read_addr(uintptr_t addr) {
+static inline void read_addr(uintptr_t addr) {
   uint8_t discard;
 
   __asm__ volatile("mov (%[addr]), %[discard]"
@@ -65,7 +65,7 @@ void read_addr(uintptr_t addr) {
                    : [addr] "r"(addr));
 }
 
-void write_addr(uintptr_t addr) {
+static inline void write_addr(uintptr_t addr) {
   uint16_t discard = 0x4141;
   __asm__ volatile("mov %[discard], (%[addr])"
                    :

memoria/demanda/taskLemmingA.c

@@ -19,7 +19,7 @@
   do {                                                                         \
     __asm volatile("ud2");                                                     \
   } while (0)
-void read_addr(uintptr_t address);
+static inline void read_addr(uintptr_t address);
 
 void task(void) {
   uint32_t *shared_memory = (uint32_t *)TASK_SHARED_MEM_START;
@@ -41,7 +41,7 @@ void task(void) {
   }
 }
 
-void read_addr(uintptr_t addr) {
+static inline void read_addr(uintptr_t addr) {
   uint8_t discard;
 
   __asm__ volatile("mov (%[addr]), %[discard]"

memoria/invalida/taskLemmingA.c

@@ -20,7 +20,7 @@
   do {                                                                         \
     __asm volatile("ud2");                                                     \
   } while (0)
-void read_addr(uintptr_t address);
+static inline void read_addr(uintptr_t address);
 
 void task(void) {
 
@@ -61,7 +61,7 @@ void task(void) {
   }
 }
 
-void read_addr(uintptr_t addr) {
+static inline void read_addr(uintptr_t addr) {
   uint8_t discard;
 
   __asm__ volatile("mov (%[addr]), %[discard]"