|
@@ -32,17 +32,9 @@
|
|
*/
|
|
*/
|
|
#define __PAGE_OFFSET _AC(0xffff880000000000, UL)
|
|
#define __PAGE_OFFSET _AC(0xffff880000000000, UL)
|
|
|
|
|
|
-#define __PHYSICAL_START CONFIG_PHYSICAL_START
|
|
|
|
-#define __KERNEL_ALIGN 0x200000
|
|
|
|
-
|
|
|
|
-/*
|
|
|
|
- * Make sure kernel is aligned to 2MB address. Catching it at compile
|
|
|
|
- * time is better. Change your config file and compile the kernel
|
|
|
|
- * for a 2MB aligned address (CONFIG_PHYSICAL_START)
|
|
|
|
- */
|
|
|
|
-#if (CONFIG_PHYSICAL_START % __KERNEL_ALIGN) != 0
|
|
|
|
-#error "CONFIG_PHYSICAL_START must be a multiple of 2MB"
|
|
|
|
-#endif
|
|
|
|
|
|
+#define __PHYSICAL_START ((CONFIG_PHYSICAL_START + \
|
|
|
|
+ (CONFIG_PHYSICAL_ALIGN - 1)) & \
|
|
|
|
+ ~(CONFIG_PHYSICAL_ALIGN - 1))
|
|
|
|
|
|
#define __START_KERNEL (__START_KERNEL_map + __PHYSICAL_START)
|
|
#define __START_KERNEL (__START_KERNEL_map + __PHYSICAL_START)
|
|
#define __START_KERNEL_map _AC(0xffffffff80000000, UL)
|
|
#define __START_KERNEL_map _AC(0xffffffff80000000, UL)
|