In the following code fragment:
# include <services/services.h>
extern VDK_SemaphoreID cb_FFT_OutputThread_sem;
extern VDK_Ticks cb_FFT_OutputThread_SysTicks
I get the errors:
error: identifier "VDK_SemaphoreID" is undefined
error: identifier "VDK_Ticks" is undefined
In what header is VDK_SemaphoreID and VDK_Ticks defined? I expected them to be defined in VDK.h. Yet this error appears in spite of my including it.