2021-06-22 15:40:16 +00:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2018-2021, Andreas Kling <kling@serenityos.org>
|
|
|
|
*
|
|
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
|
|
|
*/
|
|
|
|
|
|
|
|
#pragma once
|
|
|
|
|
|
|
|
#include <AK/Platform.h>
|
|
|
|
|
|
|
|
#define READONLY_AFTER_INIT __attribute__((section(".ro_after_init")))
|
|
|
|
#define UNMAP_AFTER_INIT NEVER_INLINE __attribute__((section(".unmap_after_init")))
|
2021-06-28 16:43:18 +00:00
|
|
|
|
2021-07-04 23:20:34 +00:00
|
|
|
#define KERNEL_BASE 0xC0000000
|
2021-07-16 08:35:25 +00:00
|
|
|
#define KERNEL_PD_OFFSET 0x3000000
|
2021-07-16 20:29:54 +00:00
|
|
|
#define KERNEL_PD_END (KERNEL_BASE + 0x31000000)
|
|
|
|
#define KERNEL_PT1024_BASE (KERNEL_BASE + 0x3FE00000)
|
2021-07-08 01:50:05 +00:00
|
|
|
#define KERNEL_QUICKMAP_PT (KERNEL_PT1024_BASE + 0x6000)
|
|
|
|
#define KERNEL_QUICKMAP_PD (KERNEL_PT1024_BASE + 0x7000)
|
|
|
|
#define KERNEL_QUICKMAP_PER_CPU_BASE (KERNEL_PT1024_BASE + 0x8000)
|
|
|
|
#define KERNEL_PHYSICAL_PAGES_BASE (KERNEL_BASE + KERNEL_PD_OFFSET)
|
2021-07-07 02:25:22 +00:00
|
|
|
|
2021-07-16 20:29:54 +00:00
|
|
|
#ifdef __cplusplus
|
|
|
|
static_assert(KERNEL_BASE % 0x1000000 == 0);
|
|
|
|
#endif
|
|
|
|
|
2021-07-07 02:25:22 +00:00
|
|
|
#define USER_RANGE_CEILING 0xBE000000
|