Cortex_M_SVD.Debug

Entities

Simple Types

Record Types

Subtypes

Variables

Description

------------- Registers -- -------------

DCRSR_HALTED_Field

type DCRSR_HALTED_Field is
  (
   Register_0,
   Register_1,
   Register_2,
   Register_3,
   Register_4,
   Register_5,
   Register_6,
   Register_7,
   Register_8,
   Register_9,
   Register_10,
   Register_11,
   Register_12,
   Current_Sp,
   Link_Rregister,
   Debug_Return_Address,
   XPsr,
   Msp,
   Psp,
   Control_Faultmask_Basepri_Primask)
  with Size => 5;
Enumeration Literal
Register_0
Register_1
Register_2
Register_3
Register_4
Register_5
Register_6
Register_7
Register_8
Register_9
Register_10
Register_11
Register_12
Current_Sp
Link_Rregister
Debug_Return_Address
XPsr
Msp
Psp
Control_Faultmask_Basepri_Primask

DCRSR_Register

type DCRSR_Register is record
   HALTED         : DCRSR_HALTED_Field := Cortex_M_SVD.Debug.Register_0;
   Reserved_5_15  : HAL.UInt11 := 16#0#;
   REGWnR         : DCRSR_REGWnR_Field := Cortex_M_SVD.Debug.Read;
   Reserved_17_31 : HAL.UInt15 := 16#0#;
end record
  with Volatile_Full_Access, Size => 32,
       Bit_Order => System.Low_Order_First;
Record fields
HALTED
Reserved_5_15
REGWnR
Reserved_17_31

DCRSR_REGWnR_Field

type DCRSR_REGWnR_Field is
  (
   Read,
   Write)
  with Size => 1;
Enumeration Literal
Read
Write

Debug_Periph

Debug_Periph : aliased Debug_Peripheral
  with Import, Address => Debug_Base;

Debug_Peripheral

type Debug_Peripheral is record
   DFSR  : aliased DFSR_Register;
   DHCSR : aliased DHCSR_Cluster;
   DCRSR : aliased DCRSR_Register;
   DCRDR : aliased HAL.UInt32;
   DEMCR : aliased DEMCR_Register;
end record
  with Volatile;
Record fields
DFSR
DHCSR
DCRSR
DCRDR
DEMCR

DEMCR_Register

type DEMCR_Register is record
   VC_CORERESET   : Boolean := False;
   Reserved_1_3   : HAL.UInt3 := 16#0#;
   VC_MMERR       : Boolean := False;
   VC_NOCPERR     : Boolean := False;
   VC_CHKERR      : Boolean := False;
   VC_STATERR     : Boolean := False;
   VC_BUSERR      : Boolean := False;
   VC_INTERR      : Boolean := False;
   VC_HARDERR     : Boolean := False;
   Reserved_11_15 : HAL.UInt5 := 16#0#;
   MON_EN         : Boolean := False;
   MON_PEND       : Boolean := False;
   MON_STEP       : Boolean := False;
   MON_REQ        : Boolean := False;
   Reserved_20_23 : HAL.UInt4 := 16#0#;
   TRCENA         : Boolean := False;
   Reserved_25_31 : HAL.UInt7 := 16#0#;
end record
  with Volatile_Full_Access, Size => 32,
       Bit_Order => System.Low_Order_First;
Record fields
VC_CORERESET
Reserved_1_3
VC_MMERR
VC_NOCPERR
VC_CHKERR
VC_STATERR
VC_BUSERR
VC_INTERR
VC_HARDERR
Reserved_11_15
MON_EN
MON_PEND
MON_STEP
MON_REQ
Reserved_20_23
TRCENA
Reserved_25_31

DFSR_Register

type DFSR_Register is record
   HALTED        : Boolean := False;
   BKPT          : Boolean := False;
   DWTTRAP       : Boolean := False;
   VCATCH        : Boolean := False;
   EXTERNAL      : Boolean := False;
   Reserved_5_31 : HAL.UInt27 := 16#0#;
end record
  with Volatile_Full_Access, Size => 32,
       Bit_Order => System.Low_Order_First;
Record fields
HALTED
BKPT
DWTTRAP
VCATCH
EXTERNAL
Reserved_5_31

DHCSR_Cluster

type DHCSR_Cluster
  (Discriminent : DHCSR_Disc := Mode_1)
is record
   case Discriminent is
      when Mode_1 =>
         Read : aliased Read_DHCSR_Register;
      when Mode_2 =>
         Write : aliased Write_DHCSR_Register;
   end case;
end record
  with Unchecked_Union, Volatile, Size => 32;
Record fields
Discriminent
Read
Write

DHCSR_Disc

type DHCSR_Disc is
  (
   Mode_1,
   Mode_2);
Enumeration Literal
Mode_1
Mode_2

Read_DHCSR_Register

type Read_DHCSR_Register is record
   C_DEBUGGEN     : Boolean;
   C_HALT         : Boolean;
   C_STEP         : Boolean;
   C_MASKINTS     : Boolean;
   Reserved_4_4   : HAL.Bit;
   C_SNAPSTALL    : Boolean;
   Reserved_6_15  : HAL.UInt10;
   S_REGRDY       : Boolean;
   S_HALT         : Boolean;
   S_SLEEP        : Boolean;
   S_LOCKUP       : Boolean;
   Reserved_20_23 : HAL.UInt4;
   S_RETIRE_ST    : Boolean;
   S_RESET_ST     : Boolean;
   Reserved_26_31 : HAL.UInt6;
end record
  with Volatile_Full_Access, Size => 32,
       Bit_Order => System.Low_Order_First;
Record fields
C_DEBUGGEN
C_HALT
C_STEP
C_MASKINTS
Reserved_4_4
C_SNAPSTALL
Reserved_6_15
S_REGRDY
S_HALT
S_SLEEP
S_LOCKUP
Reserved_20_23
S_RETIRE_ST
S_RESET_ST
Reserved_26_31

Write_DHCSR_Register

type Write_DHCSR_Register is record
   C_DEBUGGEN    : Boolean := False;
   C_HALT        : Boolean := False;
   C_STEP        : Boolean := False;
   C_MASKINTS    : Boolean := False;
   Reserved_4_4  : HAL.Bit := 16#0#;
   C_SNAPSTALL   : Boolean := False;
   Reserved_6_15 : HAL.UInt10 := 16#0#;
   S_RESET_ST    : Write_DHCSR_S_RESET_ST_Field := 16#0#;
end record
  with Volatile_Full_Access, Size => 32,
       Bit_Order => System.Low_Order_First;
Record fields
C_DEBUGGEN
C_HALT
C_STEP
C_MASKINTS
Reserved_4_4
C_SNAPSTALL
Reserved_6_15
S_RESET_ST

Write_DHCSR_S_RESET_ST_Field

subtype Write_DHCSR_S_RESET_ST_Field is HAL.UInt16;