Searched refs:region_base (Results 1 – 3 of 3) sorted by relevance
319 paddr_t region_base = 0; in add_node_memory_regions() local327 region_base = fdt_reg_base_address(fdt, pnode); in add_node_memory_regions()329 assert(region_base != (paddr_t)-1 && region_size != (size_t)-1); in add_node_memory_regions()331 if (!IS_PAGE_ALIGNED(region_base) || in add_node_memory_regions()335 region_cfg.base = region_base; in add_node_memory_regions()336 region_cfg.top = region_base + region_size - 1; in add_node_memory_regions()
180 void tzc_configure_region(uint8_t region, vaddr_t region_base, uint32_t attr) in tzc_configure_region() argument192 addr_low(region_base)); in tzc_configure_region()194 addr_high(region_base)); in tzc_configure_region()
212 void tzc_configure_region(uint8_t region, vaddr_t region_base, uint32_t attr);