|
@@ -56,6 +56,10 @@
|
|
#include "head_booke.h"
|
|
#include "head_booke.h"
|
|
#endif
|
|
#endif
|
|
|
|
|
|
|
|
+#if defined(CONFIG_FSL_BOOKE)
|
|
|
|
+#include "../mm/mmu_decl.h"
|
|
|
|
+#endif
|
|
|
|
+
|
|
int main(void)
|
|
int main(void)
|
|
{
|
|
{
|
|
DEFINE(THREAD, offsetof(struct task_struct, thread));
|
|
DEFINE(THREAD, offsetof(struct task_struct, thread));
|
|
@@ -384,6 +388,9 @@ int main(void)
|
|
DEFINE(PGD_T_LOG2, PGD_T_LOG2);
|
|
DEFINE(PGD_T_LOG2, PGD_T_LOG2);
|
|
DEFINE(PTE_T_LOG2, PTE_T_LOG2);
|
|
DEFINE(PTE_T_LOG2, PTE_T_LOG2);
|
|
#endif
|
|
#endif
|
|
|
|
+#ifdef CONFIG_FSL_BOOKE
|
|
|
|
+ DEFINE(TLBCAM_SIZE, sizeof(struct tlbcam));
|
|
|
|
+#endif
|
|
|
|
|
|
return 0;
|
|
return 0;
|
|
}
|
|
}
|