|
@@ -8,7 +8,7 @@
|
|
|
|
|
|
#ifdef __KERNEL__
|
|
#ifdef __KERNEL__
|
|
|
|
|
|
-#include <asm/page_types.h>
|
|
|
|
|
|
+#include <asm/pgtable_types.h>
|
|
|
|
|
|
/* Physical address where kernel should be loaded. */
|
|
/* Physical address where kernel should be loaded. */
|
|
#define LOAD_PHYSICAL_ADDR ((CONFIG_PHYSICAL_START \
|
|
#define LOAD_PHYSICAL_ADDR ((CONFIG_PHYSICAL_START \
|
|
@@ -19,7 +19,7 @@
|
|
#ifdef CONFIG_X86_64
|
|
#ifdef CONFIG_X86_64
|
|
#define MIN_KERNEL_ALIGN_LG2 PMD_SHIFT
|
|
#define MIN_KERNEL_ALIGN_LG2 PMD_SHIFT
|
|
#else
|
|
#else
|
|
-#define MIN_KERNEL_ALIGN_LG2 (PAGE_SHIFT+1)
|
|
|
|
|
|
+#define MIN_KERNEL_ALIGN_LG2 (PAGE_SHIFT + THREAD_ORDER)
|
|
#endif
|
|
#endif
|
|
#define MIN_KERNEL_ALIGN (_AC(1, UL) << MIN_KERNEL_ALIGN_LG2)
|
|
#define MIN_KERNEL_ALIGN (_AC(1, UL) << MIN_KERNEL_ALIGN_LG2)
|
|
|
|
|