|
@@ -237,6 +237,16 @@ uint32_t platform_s_flash_read( void *to, uint32_t fromaddr, uint32_t size );
|
|
|
uint32_t platform_flash_get_num_sectors(void);
|
|
|
int platform_flash_erase_sector( uint32_t sector_id );
|
|
|
|
|
|
+/**
|
|
|
+ * Translated a mapped address to a physical flash address, based on the
|
|
|
+ * current flash cache mapping.
|
|
|
+ * @param mapped_addr Address to translate (>= INTERNAL_FLASH_MAPPED_ADDRESS)
|
|
|
+ * @return the corresponding physical flash address, or -1 if flash cache is
|
|
|
+ * not currently active.
|
|
|
+ * @see Cache_Read_Enable.
|
|
|
+ */
|
|
|
+uint32_t platform_flash_mapped2phys (uint32_t mapped_addr);
|
|
|
+
|
|
|
// *****************************************************************************
|
|
|
// Allocator support
|
|
|
|