1/* 2 * Copyright 2004-2008, Haiku Inc. All rights reserved. 3 * Distributed under the terms of the MIT license. 4 * 5 * Copyright 2001-2002, Travis Geiselbrecht. All rights reserved. 6 * Distributed under the terms of the NewOS License. 7 */ 8#ifndef _KERNEL_ARCH_x86_KERNEL_H 9#define _KERNEL_ARCH_x86_KERNEL_H 10 11 12#ifndef _ASSEMBLER 13#ifdef __cplusplus 14# include <arch/cpu.h> 15#endif 16#endif 17 18 19#ifdef _BOOT_MODE 20 21#if defined(__x86_64__) 22#define KERNEL_LOAD_BASE 0xffffffff80000000ll 23#else 24#define KERNEL_LOAD_BASE 0x80000000 25#define KERNEL_LOAD_BASE_64_BIT 0xffffffff80000000ll 26#define KERNEL_FIXUP_FOR_LONG_MODE (KERNEL_LOAD_BASE_64_BIT - KERNEL_LOAD_BASE) 27#endif 28 29#elif defined(__x86_64__) 30 31 32// Base of the kernel address space. 33// KERNEL_BASE is the base of the kernel address space. This differs from the 34// address where the kernel is loaded to: the kernel is loaded in the top 2GB 35// of the virtual address space as required by GCC's kernel code model. The 36// whole kernel address space is the top 512GB of the address space. 37#define KERNEL_BASE 0xffffff0000000000 38#define KERNEL_SIZE 0x10000000000 39#define KERNEL_TOP (KERNEL_BASE + (KERNEL_SIZE - 1)) 40#define KERNEL_LOAD_BASE 0xffffffff80000000 41 42// Kernel physical memory map area. 43#define KERNEL_PMAP_BASE 0xffffff0000000000 44#define KERNEL_PMAP_SIZE 0x8000000000 45 46// Userspace address space layout. 47// There is a 2MB hole just before the end of the bottom half of the address 48// space. This means that if userland passes in a buffer that crosses into the 49// uncanonical address region, it will be caught through a page fault. 50#define USER_BASE 0x100000 51#define USER_BASE_ANY USER_BASE 52#define USER_SIZE (0x800000000000 - (0x200000 + USER_BASE)) 53#define USER_TOP (USER_BASE + (USER_SIZE - 1)) 54 55#define KERNEL_USER_DATA_BASE 0x7f0000000000 56#define USER_STACK_REGION 0x7f0000000000 57#define USER_STACK_REGION_SIZE ((USER_TOP - USER_STACK_REGION) + 1) 58 59#ifdef _COMPAT_MODE 60 61#define USER32_SIZE 0x100000000 62#define USER32_TOP (USER_BASE + (USER32_SIZE - 1)) 63 64#define KERNEL_USER32_DATA_BASE 0x60000000 65 66#define USER32_STACK_REGION 0x70000000 67#define USER32_STACK_REGION_SIZE ((USER32_TOP - USER32_STACK_REGION) + 1) 68 69#endif // _COMPAT_MODE 70 71 72#else // __x86_64__ 73 74 75// memory layout 76#define KERNEL_BASE 0x80000000 77#define KERNEL_SIZE 0x80000000 78#define KERNEL_TOP (KERNEL_BASE + (KERNEL_SIZE - 1)) 79 80/* User space layout is a little special: 81 * The user space does not completely cover the space not covered by the 82 * kernel. There is a gap of 64kb between the user and kernel space. The 64kb 83 * region assures a user space thread cannot pass a buffer into the kernel as 84 * part of a syscall that would cross into kernel space. 85 * Further, there is a 1MB hole starting at 0x0 to prevent NULL from being mapped. 86 */ 87#define USER_BASE 0x100000 88#define USER_BASE_ANY USER_BASE 89#define USER_SIZE (KERNEL_BASE - (0x10000 + USER_BASE)) 90#define USER_TOP (USER_BASE + (USER_SIZE - 1)) 91 92#define KERNEL_USER_DATA_BASE 0x60000000 93#define USER_STACK_REGION 0x70000000 94#define USER_STACK_REGION_SIZE ((USER_TOP - USER_STACK_REGION) + 1) 95 96 97#endif // __x86_64__ 98 99#endif // _KERNEL_ARCH_x86_KERNEL_H 100