Searched refs:atf_ddr_buffer (Results 1 – 1 of 1) sorted by relevance
823 volatile uint64_t atf_ddr_buffer; local829 atf_ddr_buffer = 0xCAFEBABEFEEDFACE; /* Write data */831 (void *)&atf_ddr_buffer, sizeof(atf_ddr_buffer));