Searched refs:virtual_addr_space_size (Results 1 – 2 of 2) sorted by relevance
246 uintptr_t virtual_addr_space_size; in setup_mmu_cfg() local259 virtual_addr_space_size = (uintptr_t)max_va + 1U; in setup_mmu_cfg()261 assert(virtual_addr_space_size >= in setup_mmu_cfg()263 assert(virtual_addr_space_size <= MAX_VIRT_ADDR_SPACE_SIZE); in setup_mmu_cfg()264 assert(IS_POWER_OF_TWO(virtual_addr_space_size)); in setup_mmu_cfg()270 int t0sz = 64 - __builtin_ctzll(virtual_addr_space_size); in setup_mmu_cfg()
219 uintptr_t virtual_addr_space_size = max_va + 1U; in setup_mmu_cfg() local221 assert(virtual_addr_space_size >= in setup_mmu_cfg()223 assert(IS_POWER_OF_TWO(virtual_addr_space_size)); in setup_mmu_cfg()229 int t0sz = 32 - __builtin_ctzll(virtual_addr_space_size); in setup_mmu_cfg()