|
@@ -99,10 +99,6 @@ extern void radix_tree_init(void);
|
|
static inline void mark_rodata_ro(void) { }
|
|
static inline void mark_rodata_ro(void) { }
|
|
#endif
|
|
#endif
|
|
|
|
|
|
-#ifdef CONFIG_TC
|
|
|
|
-extern void tc_init(void);
|
|
|
|
-#endif
|
|
|
|
-
|
|
|
|
/*
|
|
/*
|
|
* Debug helper: via this flag we know that we are in 'early bootup code'
|
|
* Debug helper: via this flag we know that we are in 'early bootup code'
|
|
* where only the boot processor is running with IRQ disabled. This means
|
|
* where only the boot processor is running with IRQ disabled. This means
|