-#include <stddef.h>
-
-#define K_STACK_SIZE (64 << 10)
-#define K_STACK_START ((0xFFBFFFFFU - K_STACK_SIZE) + 1)
-#define HIGHER_HLF_BASE 0xC0000000UL
-#define MEM_1MB 0x100000UL
+#define KSTACK_SIZE (64 << 10)
+#define KSTACK_START ((0xFFBFFFFFU - KSTACK_SIZE) + 1)
+#define KSTACK_TOP 0xffbffff0
+#define HIGHER_HLF_BASE 0xC0000000
+#define MEM_1MB 0x100000