mirror of
https://review.haiku-os.org/haiku
synced 2025-02-15 18:18:57 +01:00
235aa994d7
Change-Id: I0aed05c0ef2ff1a162581e4f988bf24ed1e521e0 Reviewed-on: https://review.haiku-os.org/c/haiku/+/4816 Tested-by: Commit checker robot <no-reply+buildbot@haiku-os.org> Reviewed-by: Adrien Destugues <pulkomandy@gmail.com> Reviewed-by: Fredrik Holmqvist <fredrik.holmqvist@gmail.com>
102 lines
3.2 KiB
C
102 lines
3.2 KiB
C
/*
|
|
* Copyright 2004-2008, Haiku Inc. All rights reserved.
|
|
* Distributed under the terms of the MIT license.
|
|
*
|
|
* Copyright 2001-2002, Travis Geiselbrecht. All rights reserved.
|
|
* Distributed under the terms of the NewOS License.
|
|
*/
|
|
#ifndef _KERNEL_ARCH_x86_KERNEL_H
|
|
#define _KERNEL_ARCH_x86_KERNEL_H
|
|
|
|
|
|
#ifndef _ASSEMBLER
|
|
#ifdef __cplusplus
|
|
# include <arch/cpu.h>
|
|
#endif
|
|
#endif
|
|
|
|
|
|
#ifdef _BOOT_MODE
|
|
|
|
#ifdef _BOOT_PLATFORM_BIOS
|
|
#define KERNEL_LOAD_BASE_32_BIT 0x80000000
|
|
#define KERNEL_LOAD_BASE_64_BIT 0xffffffff80000000ll
|
|
#define KERNEL_FIXUP_FOR_LONG_MODE (KERNEL_LOAD_BASE_64_BIT - KERNEL_LOAD_BASE_32_BIT)
|
|
#elif __x86_64__
|
|
#define KERNEL_LOAD_BASE 0xffffffff80000000ll
|
|
#else
|
|
#define KERNEL_LOAD_BASE 0x80000000
|
|
#endif
|
|
|
|
#elif defined(__x86_64__)
|
|
|
|
|
|
// Base of the kernel address space.
|
|
// KERNEL_BASE is the base of the kernel address space. This differs from the
|
|
// address where the kernel is loaded to: the kernel is loaded in the top 2GB
|
|
// of the virtual address space as required by GCC's kernel code model. The
|
|
// whole kernel address space is the top 512GB of the address space.
|
|
#define KERNEL_BASE 0xffffff0000000000
|
|
#define KERNEL_SIZE 0x10000000000
|
|
#define KERNEL_TOP (KERNEL_BASE + (KERNEL_SIZE - 1))
|
|
#define KERNEL_LOAD_BASE 0xffffffff80000000
|
|
|
|
// Kernel physical memory map area.
|
|
#define KERNEL_PMAP_BASE 0xffffff0000000000
|
|
#define KERNEL_PMAP_SIZE 0x8000000000
|
|
|
|
// Userspace address space layout.
|
|
// There is a 2MB hole just before the end of the bottom half of the address
|
|
// space. This means that if userland passes in a buffer that crosses into the
|
|
// uncanonical address region, it will be caught through a page fault.
|
|
#define USER_BASE 0x100000
|
|
#define USER_BASE_ANY USER_BASE
|
|
#define USER_SIZE (0x800000000000 - (0x200000 + USER_BASE))
|
|
#define USER_TOP (USER_BASE + (USER_SIZE - 1))
|
|
|
|
#define KERNEL_USER_DATA_BASE 0x7f0000000000
|
|
#define USER_STACK_REGION 0x7f0000000000
|
|
#define USER_STACK_REGION_SIZE ((USER_TOP - USER_STACK_REGION) + 1)
|
|
|
|
#ifdef _COMPAT_MODE
|
|
|
|
#define USER32_SIZE 0x100000000
|
|
#define USER32_TOP (USER_BASE + (USER32_SIZE - 1))
|
|
|
|
#define KERNEL_USER32_DATA_BASE 0x60000000
|
|
|
|
#define USER32_STACK_REGION 0x70000000
|
|
#define USER32_STACK_REGION_SIZE ((USER32_TOP - USER32_STACK_REGION) + 1)
|
|
|
|
#endif // _COMPAT_MODE
|
|
|
|
|
|
#else // __x86_64__
|
|
|
|
|
|
// memory layout
|
|
#define KERNEL_BASE 0x80000000
|
|
#define KERNEL_SIZE 0x80000000
|
|
#define KERNEL_TOP (KERNEL_BASE + (KERNEL_SIZE - 1))
|
|
|
|
/* User space layout is a little special:
|
|
* The user space does not completely cover the space not covered by the
|
|
* kernel. There is a gap of 64kb between the user and kernel space. The 64kb
|
|
* region assures a user space thread cannot pass a buffer into the kernel as
|
|
* part of a syscall that would cross into kernel space.
|
|
* Further, there is a 1MB hole starting at 0x0 to prevent NULL from being mapped.
|
|
*/
|
|
#define USER_BASE 0x100000
|
|
#define USER_BASE_ANY USER_BASE
|
|
#define USER_SIZE (KERNEL_BASE - (0x10000 + USER_BASE))
|
|
#define USER_TOP (USER_BASE + (USER_SIZE - 1))
|
|
|
|
#define KERNEL_USER_DATA_BASE 0x60000000
|
|
#define USER_STACK_REGION 0x70000000
|
|
#define USER_STACK_REGION_SIZE ((USER_TOP - USER_STACK_REGION) + 1)
|
|
|
|
|
|
#endif // __x86_64__
|
|
|
|
#endif // _KERNEL_ARCH_x86_KERNEL_H
|