function clz32
(Value : Unsigned_32)
return Unsigned_32
procedure connect_internal_flash
function copyright_string
return String
function ctz32
(Value : Unsigned_32)
return Unsigned_32
procedure debug_trampoline
procedure flash_enter_cmd_xip
procedure flash_exit_xip
procedure flash_flush_cache
procedure flash_range_erase
(Addr : Unsigned_32;
Count : Interfaces.C.size_t;
Block_Size : Unsigned_32;
Block_Cmd : Unsigned_8)
procedure flash_range_program
(Addr : System.Address;
Data : System.Address;
Count : Interfaces.C.size_t)
function git_revision
return Unsigned_32
Header : constant Header_Fields
with Import, Address => System'To_Address (16#0000_0000#);
type Header_Fields is record
Initial_SP : System.Address;
Reset_Handler : System.Address;
NMI_Handler : System.Address;
HardFault_Handler : System.Address;
Magic : Magic_Field;
Version : Unsigned_8;
Func_Table : Short_Address;
Data_Table : Short_Address;
Table_Lookup : Short_Address;
end record
with Size => 208;
type Magic_Field is array (1 .. 3) of Unsigned_8;
Magic should always be ('M', 'u', 1)
function memset
(Ptr : System.Address;
C : Unsigned_8;
N : Unsigned_32)
return System.Address
function memset4
(Ptr : System.Address;
C : Unsigned_8;
N : Unsigned_32)
return System.Address
function popcount32
(Value : Unsigned_32)
return Unsigned_32
procedure reset_to_usb_boot
(GPIO_Activity_Pin_Mask : Unsigned_32;
Disable_Interface_Mask : Unsigned_32)
function reverse32
(Value : Unsigned_32)
return Unsigned_32
function ROM_Data_Lookup
(Code : Table_Code)
return System.Address
function ROM_Func_Lookup
(Code : Table_Code)
return System.Address
function ROM_Table_Code
(C1, C2 : Character)
return Table_Code
function ROM_Table_Lookup
(Table : System.Address;
Code : Table_Code)
return System.Address
type Short_Address is new Unsigned_16;
Some lookup tables use halfwords
type Table_Code is new Unsigned_32;
Function and Data table entries are indexed by a two-character mnemonic, stored in a 32-bit field. The top two bytes are always zero, presumably reserved for future use.
procedure wait_for_vector