From 6e712c778f846622d0e1c86e433397292de7d5b1 Mon Sep 17 00:00:00 2001
From: Rahix <rahix@rahix.de>
Date: Thu, 22 Aug 2019 12:07:18 +0200
Subject: [PATCH] chore(epicardium): Cleanup task IDs
Fixes #73.
Signed-off-by: Rahix <rahix@rahix.de>
---
epicardium/cdcacm.c | 2 +-
epicardium/modules/modules.h | 1 +
epicardium/support.c | 3 +--
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/epicardium/cdcacm.c b/epicardium/cdcacm.c
index 04c16bd83..1cbbb1544 100644
--- a/epicardium/cdcacm.c
+++ b/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();
diff --git a/epicardium/modules/modules.h b/epicardium/modules/modules.h
index 484e951f5..a6e2dd90b 100644
--- a/epicardium/modules/modules.h
+++ b/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
diff --git a/epicardium/support.c b/epicardium/support.c
index 90e14efae..e69252037 100644
--- a/epicardium/support.c
+++ b/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.
*/
--
GitLab