int_sram_fls_rsv : ORIGIN = 0x20407F00, LENGTH = 0x00000100 int_sram_no_cacheable : ORIGIN = 0x20408000, LENGTH = 0x00003F00 /* 16KB , needs to include int_sram_results */ int_sram_results : ORIGIN = 0x2040BF00, LENGTH = 0x00000100 int_sram_shareable : ORIGIN = 0x2040C000,...