Searched refs:paged_size (Results 1 – 1 of 1) sorted by relevance
71 uint32_t paged_size; member162 uintptr_t paged_size; in opteed_setup() local198 paged_size = header->paged_size; in opteed_setup()249 paged_part = BL32_DRAM_LIMIT - paged_size; in opteed_setup()250 if (paged_size) { in opteed_setup()254 init_mem_usage + paged_size)) { in opteed_setup()258 paged_size); in opteed_setup()264 paged_size); in opteed_setup()265 flush_dcache_range(paged_part, paged_size); in opteed_setup()