flash_range_program Addr is a flash block index, not a memory address. …

…Fixes #52
JeremyGrosser · Dec 17, 2023 · 7e8683c · 7e8683c
1 parent 86b3aa9
commit 7e8683c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/drivers/rp-flash.adb b/src/drivers/rp-flash.adb
@@ -146,7 +146,7 @@ package body RP.Flash is
 
       RP.ROM.flash_exit_xip;
 
-      RP.ROM.flash_range_program (Addr  => To_Address (Offset),
+      RP.ROM.flash_range_program (Addr  => Interfaces.Unsigned_32 (Offset),
                                   Data  => Source,
                                   Count => Interfaces.C.size_t (Length));
       RP.ROM.flash_flush_cache;

diff --git a/src/drivers/rp-rom.ads b/src/drivers/rp-rom.ads
@@ -127,7 +127,7 @@ is
         Address    => ROM_Func_Lookup (ROM_Table_Code ('R', 'E'));
 
    procedure flash_range_program
-      (Addr       : System.Address;
+      (Addr       : Unsigned_32;
        Data       : System.Address;
        Count      : Interfaces.C.size_t)
    with Import,