Lines Matching defs:addr
61 args[1] = buffer->addr + buffer->size_written;
142 fpga_config_buffers[i].addr;
252 fpga_config_buffers[i].addr = 0;
281 bool is_address_in_ddr_range(uint64_t addr, uint64_t size)
283 if (!addr && !size) {
286 if (size > (UINT64_MAX - addr)) {
289 if (addr < BL31_LIMIT) {
292 if (addr + size > DRAM_BASE + DRAM_SIZE) {
314 fpga_config_buffers[j].addr = mem;
616 uint32_t intel_smc_service_completed(uint64_t addr, uint32_t size,
627 if (!is_address_in_ddr_range(addr, size)) {
633 NULL, (uint32_t *) addr, &resp_len, 0);
636 (uint32_t *) addr, &resp_len);
652 flush_dcache_range(addr, *ret_size);