Searched refs:FIRMWARE_ADDR_3 (Results 1 – 1 of 1) sorted by relevance
37 #define FIRMWARE_ADDR_3 0x80000 /* Pi 3 loads kernel.img here by default */ macro230 ? FIRMWARE_ADDR_2 : FIRMWARE_ADDR_3; in setup_boot()