Searched refs:KERNEL_ASPACE_SIZE (Results 1 – 8 of 8) sorted by relevance
12 KERNEL_ASPACE_SIZE ?= 0x7ff0000026 KERNEL_ASPACE_SIZE ?= 0x0000008000000000UL40 KERNEL_ASPACE_SIZE=$(KERNEL_ASPACE_SIZE) \
61 KERNEL_ASPACE_SIZE := 0x000080000000000075 KERNEL_ASPACE_SIZE := 0x000000400000000086 KERNEL_ASPACE_SIZE := 0x80000000100 KERNEL_ASPACE_SIZE=$(KERNEL_ASPACE_SIZE) \
101 constexpr uint kernel_end_index = vaddr_to_index(KERNEL_ASPACE_BASE + KERNEL_ASPACE_SIZE - 1UL, RIS…216 DEBUG_ASSERT(size == KERNEL_ASPACE_SIZE); in arch_mmu_init_aspace()
84 #ifndef KERNEL_ASPACE_SIZE85 #define KERNEL_ASPACE_SIZE ((vaddr_t)0x80000000UL) macro88 STATIC_ASSERT(KERNEL_ASPACE_BASE + (KERNEL_ASPACE_SIZE - 1) > KERNEL_ASPACE_BASE);91 …r_t)KERNEL_ASPACE_BASE && va <= ((vaddr_t)KERNEL_ASPACE_BASE + ((vaddr_t)KERNEL_ASPACE_SIZE - 1))); in is_kernel_address()
60 KERNEL_ASPACE_SIZE ?= 0x000100000000000066 KERNEL_ASPACE_SIZE=$(KERNEL_ASPACE_SIZE) \
31 _kernel_aspace.size = KERNEL_ASPACE_SIZE; in vmm_init_preheap()35 …arch_mmu_init_aspace(&_kernel_aspace.arch_aspace, KERNEL_ASPACE_BASE, KERNEL_ASPACE_SIZE, ARCH_ASP… in vmm_init_preheap()601 aspace->size = KERNEL_ASPACE_SIZE; in vmm_create_aspace()
218 DEBUG_ASSERT(size == KERNEL_ASPACE_SIZE); in arch_mmu_init_aspace()
261 KERNEL_ASPACE_SIZE=0xc0000000
Completed in 10 milliseconds