* Copyright 2018, Jaroslaw Pelczar <jarek@jpelczar.com>
* Distributed under the terms of the MIT License.
*/
#ifndef _KERNEL_ARCH_ARM64_ARCH_KERNEL_H_
#define _KERNEL_ARCH_ARM64_ARCH_KERNEL_H_
#include <kernel/arch/cpu.h>
#define KERNEL_BASE 0xffff000000000000
#define KERNEL_SIZE 0x8000000000
#define KERNEL_TOP (KERNEL_BASE + (KERNEL_SIZE - 1))
#define USER_BASE 0x1000
#define USER_BASE_ANY USER_BASE
#define USER_SIZE (0x0001000000000000UL - USER_BASE)
#define USER_TOP (0x0001000000000000UL - 1)
#define KERNEL_USER_DATA_BASE 0x60000000
#define USER_STACK_REGION 0x70000000
#define USER_STACK_REGION_SIZE ((USER_TOP - USER_STACK_REGION) + 1)
#define KERNEL_PMAP_BASE 0xffffff0000000000
#define KERNEL_PMAP_SIZE 0x8000000000
#endif
