Searched refs:virtual_addr_space_size (Results 1 – 2 of 2) sorted by relevance
221 uintptr_t virtual_addr_space_size = max_va + 1U; in setup_mmu_cfg() local223 assert(virtual_addr_space_size >= in setup_mmu_cfg()225 assert(IS_POWER_OF_TWO(virtual_addr_space_size)); in setup_mmu_cfg()231 int t0sz = 32 - __builtin_ctzll(virtual_addr_space_size); in setup_mmu_cfg()
297 uintptr_t virtual_addr_space_size; in setup_mmu_cfg() local310 virtual_addr_space_size = (uintptr_t)max_va + 1U; in setup_mmu_cfg()312 assert(virtual_addr_space_size >= in setup_mmu_cfg()314 assert(virtual_addr_space_size <= MAX_VIRT_ADDR_SPACE_SIZE); in setup_mmu_cfg()315 assert(IS_POWER_OF_TWO(virtual_addr_space_size)); in setup_mmu_cfg()321 int t0sz = 64 - __builtin_ctzll(virtual_addr_space_size); in setup_mmu_cfg()