Searched refs:BL31_LOADADDR (Results 1 – 1 of 1) sorted by relevance
17 #define BL31_LOADADDR 0x05100000 macro73 data = htole32(BL31_LOADADDR); in main()