Remove references to obsolete symbol ppdrv

The symbol ppdrv is not used.

Change-Id: I5536d9924cca85a12547c866ef2cdbbe597f3710
Signed-off-by: Peter Mitsis <peter.mitsis@windriver.com>
Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com>
This commit is contained in:
Peter Mitsis 2015-04-22 09:45:42 -04:00 committed by Anas Nashif
parent 5e7096bbdf
commit a6322e4c02

View file

@ -79,8 +79,6 @@ extern void init_drivers(void); /* generated function */
extern const knode_t K_ThisNode;
extern int K_StackSize;
extern ktask_t ppdrv;
extern int K_NodeCount;
extern int K_PrioCount;
extern int K_TaskCount;