Searched refs:SDBOOT_SCRATCHADDR (Results 1 – 4 of 4) sorted by relevance
64 #define SDBOOT_SCRATCHADDR 0xa0200000 macro80 #define SDBOOT_SCRATCHADDR __buf4 macro
179 mag = *(uint16_t *)SDBOOT_SCRATCHADDR; in loader()181 return load_elf((uint8_t *)SDBOOT_SCRATCHADDR, entry); in loader()183 return load_coff((uint8_t *)SDBOOT_SCRATCHADDR, entry); in loader()
59 (void *)SDBOOT_SCRATCHADDR) != 0) in fileread()
127 (void *)SDBOOT_SCRATCHADDR); in fileread()