chore(epicardium): Cleanup task IDs

Fixes #73.

Signed-off-by: Rahix <rahix@rahix.de>

epicardium/cdcacm.c

@@ -57,6 +57,7 @@
 #include "cdc_acm.h"
 #include "descriptors.h"
 
+#include "modules/modules.h"
 #include "modules/log.h"
 #include <errno.h>
 
@@ -358,7 +359,6 @@ static int usb_read_callback(void)
 #include "FreeRTOS.h"
 #include "task.h"
 
-extern TaskHandle_t serial_task_id;
 void USB_IRQHandler(void)
 {
 	usb_event_handler();

epicardium/modules/modules.h

@@ -25,6 +25,7 @@ void return_to_menu(void);
 #define SERIAL_READ_BUFFER_SIZE 128
 void vSerialTask(void *pvParameters);
 void serial_enqueue_char(char chr);
+extern TaskHandle_t serial_task_id;
 
 /* ---------- LED Animation / Personal States ------------------------------ */
 #define PERSONAL_STATE_LED 14

epicardium/support.c

@@ -6,12 +6,11 @@
 #include "task.h"
 
 #include "api/dispatcher.h"
+#include "modules/modules.h"
 #include "modules/log.h"
 
 #include "card10.h"
 
-extern TaskHandle_t dispatcher_task_id;
-
 /*
  * This hook is called before FreeRTOS enters tickless idle.
  */