KERNEL_BASE
((addr_t)(x) < KERNEL_BASE || (addr_t)(x) > KERNEL_TOP)
((addr_t)(x) >= KERNEL_BASE && (addr_t)(x) <= KERNEL_TOP)
#define KERNEL_TOP (KERNEL_BASE + (KERNEL_SIZE - 1))
#define KERNEL_TOP (KERNEL_BASE + (KERNEL_SIZE - 1))
#define KERNEL_TOP (KERNEL_BASE + (KERNEL_SIZE - 1))
#define KERNEL_TOP (KERNEL_BASE + (KERNEL_SIZE - 1))
#define KERNEL_TOP (KERNEL_BASE + (KERNEL_SIZE - 1))
#define KERNEL_TOP (KERNEL_BASE + (KERNEL_SIZE - 1))
#define KERNEL_TOP (KERNEL_BASE + (KERNEL_SIZE - 1))
#define KERNEL_TOP (KERNEL_BASE + (KERNEL_SIZE - 1))
#define KERNEL_TOP (KERNEL_BASE + (KERNEL_SIZE - 1))
#define USER_SIZE (KERNEL_BASE - (0x10000 + USER_BASE))
# define KERNEL_LOAD_BASE KERNEL_BASE
#if KERNEL_BASE == 0
# define IS_KERNEL_ADDRESS(x) ((addr_t)(x) >= KERNEL_BASE)
((addr_t)(x) >= KERNEL_BASE && (addr_t)(x) <= KERNEL_TOP)
if (virtualAddress < KERNEL_BASE)
return address >= KERNEL_BASE;
tcr |= TCR_T1SZ(__builtin_popcountl(KERNEL_BASE));
for (uint64 i = VirtAdrPte(KERNEL_BASE, 2); i <= VirtAdrPte(KERNEL_TOP, 2);
virtualAddress = (void*)KERNEL_BASE;
virtualAddress = (void*)KERNEL_BASE;
for (uint64 i = VirtAdrPte(KERNEL_BASE, 2); i <= VirtAdrPte(KERNEL_TOP, 2);
static addr_t sNextVirtualAddress = KERNEL_BASE + kMaxKernelSize;
gKernelArgs.virtual_allocated_range[0].start = KERNEL_BASE;
if (address < KERNEL_BASE
|| address + size >= KERNEL_BASE + kMaxKernelSize) {
(uint32)address, (uint32)KERNEL_BASE,
KERNEL_BASE + kMaxKernelSize, (uint32)(address + size)));
if ((tlb[0] & 0xfffffc00) == KERNEL_BASE) {
tlb[0] = (KERNEL_BASE | tlbLength << 4 | TLB_V);
} else if (isExec && !isUser && (far < KERNEL_BASE) &&
(virtualAddress < KERNEL_BASE) ? ARM_MMU_L1_FLAG_PXN : 0);
(address < KERNEL_BASE) ? ARM_MMU_L1_FLAG_PXN : 0);
(va < KERNEL_BASE) ? ARM_MMU_L1_FLAG_PXN : 0);
#define FIRST_KERNEL_PGDIR_ENT (VADDR_TO_PDENT(KERNEL_BASE))
if (address >= KERNEL_BASE) {
#define FIRST_KERNEL_PGROOT_ENT (VADDR_TO_PRENT(KERNEL_BASE))
#define FIRST_KERNEL_PGDIR_ENT (VADDR_TO_PDENT(KERNEL_BASE))
#define FIRST_KERNEL_PGDIR_ENT (VADDR_TO_PDENT(KERNEL_BASE))
#define FIRST_KERNEL_PGROOT_ENT (VADDR_TO_PRENT(KERNEL_BASE))
#define FIRST_KERNEL_PGDIR_ENT (VADDR_TO_PDENT(KERNEL_BASE))
#if KERNEL_BASE != 0x80000000
#if KERNEL_BASE != 0x80000000
for (uint64 i = VirtAdrPte(KERNEL_BASE, 2);
addr_t kernelStart = std::max<addr_t>(start, KERNEL_BASE);
#define FIRST_KERNEL_PGDIR_ENT (VADDR_TO_PDENT(KERNEL_BASE))
STATIC_ASSERT(KERNEL_BASE == 0xffffff0000000000);
STATIC_ASSERT(KERNEL_BASE == 0x80000000 && KERNEL_SIZE == 0x80000000);
STATIC_ASSERT(KERNEL_BASE == 0x80000000 && KERNEL_SIZE == 0x80000000);
if (Create(B_SYSTEM_TEAM, KERNEL_BASE, KERNEL_SIZE, true,
if (blockAddress < KERNEL_BASE)
blockAddress |= KERNEL_BASE;
if (blockAddress < KERNEL_BASE)
blockAddress |= KERNEL_BASE;
if (blockAddress < KERNEL_BASE)
blockAddress |= KERNEL_BASE;
if (blockAddress < KERNEL_BASE)
blockAddress |= KERNEL_BASE;
if (base >= KERNEL_BASE && base < range.start && (range.start - base) >= size) {
if (firstRange.start > KERNEL_BASE && (firstRange.start - KERNEL_BASE) >= size) {
if (base >= KERNEL_BASE) {