Searched refs:atf_ddr_buffer (Results 1 – 1 of 1) sorted by relevance
822 volatile uint64_t atf_ddr_buffer;828 atf_ddr_buffer = 0xCAFEBABEFEEDFACE; /* Write data */830 (void *)&atf_ddr_buffer, sizeof(atf_ddr_buffer));807 volatile uint64_t atf_ddr_buffer; global() local