diff --git a/include/microkernel.h b/include/microkernel.h index 5f43c01e44f..22811207c94 100644 --- a/include/microkernel.h +++ b/include/microkernel.h @@ -77,7 +77,6 @@ extern void kernel_init(void); extern void init_node(void); /* generated function */ extern void init_drivers(void); /* generated function */ extern const knode_t K_ThisNode; -extern const int K_DataSize; extern int K_DataNall; extern int K_ArgsNall; extern int K_TimerNall; diff --git a/kernel/microkernel/include/minik.h b/kernel/microkernel/include/minik.h index 66ae0ca00e3..724098f3a87 100644 --- a/kernel/microkernel/include/minik.h +++ b/kernel/microkernel/include/minik.h @@ -66,7 +66,6 @@ extern int K_QueCount; extern int K_PoolCount; extern int K_PipeCount; -extern const int K_DataSize; extern int K_DataNall; extern int K_ArgsNall; #ifndef LITE