| 123456789101112131415161718192021222324 |
- /*
- * Copyright (c) 2018-2021, Andreas Kling <kling@serenityos.org>
- *
- * SPDX-License-Identifier: BSD-2-Clause
- */
- #pragma once
- #include <AK/Platform.h>
- #ifdef __cplusplus
- # include <AK/Types.h>
- # include <Kernel/BootInfo.h>
- #endif
- #define READONLY_AFTER_INIT __attribute__((section(".ro_after_init")))
- #define UNMAP_AFTER_INIT NEVER_INLINE __attribute__((section(".unmap_after_init")))
- #define KERNEL_PD_END (kernel_mapping_base + 0x31000000)
- #define KERNEL_PT1024_BASE (kernel_mapping_base + 0x3FE00000)
- #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 USER_RANGE_CEILING (kernel_mapping_base - 0x2000000)
|
