#ifndef REG_2020_07_01_H_
  #define REG_2020_07_01_H_

  #if defined(__cplusplus)
  #include <cstdint>
  #else
  #include <stdint.h>
  #endif


  #if defined(__cplusplus)
  namespace mcal
  {
    namespace reg
    {
      constexpr std::uint32_t scs_base        = UINT32_C(0xE000E000);
      constexpr std::uint32_t sys_tick_base   = scs_base + UINT32_C(0x00000010);
      constexpr std::uint32_t nvic_base       = scs_base + UINT32_C(0x00000100);

      constexpr std::uint32_t sys_tick_ctrl   = sys_tick_base + UINT32_C(0x00);
      constexpr std::uint32_t sys_tick_load   = sys_tick_base + UINT32_C(0x04);
      constexpr std::uint32_t sys_tick_val    = sys_tick_base + UINT32_C(0x08);

      // Global base addresses.

      // System SCB registers.

      constexpr std::uint32_t scb_base             = UINT32_C(0xE000E000);
      constexpr std::uint32_t scb_reserved_0_8     = UINT32_C(0xE000E000); // reserved_bytes[8]
      constexpr std::uint32_t scb_actlr            = UINT32_C(0xE000E008);
      constexpr std::uint32_t scb_reserved_1_3316  = UINT32_C(0xE000E00C); // reserved_bytes[3316]
      constexpr std::uint32_t scb_cpuid            = UINT32_C(0xE000ED00);
      constexpr std::uint32_t scb_icsr             = UINT32_C(0xE000ED04);
      constexpr std::uint32_t scb_vtor             = UINT32_C(0xE000ED08);
      constexpr std::uint32_t scb_aircr            = UINT32_C(0xE000ED0C);
      constexpr std::uint32_t scb_scr              = UINT32_C(0xE000ED10);
      constexpr std::uint32_t scb_ccr              = UINT32_C(0xE000ED14);
      constexpr std::uint32_t scb_shpr1            = UINT32_C(0xE000ED18);
      constexpr std::uint32_t scb_shpr2            = UINT32_C(0xE000ED1C);
      constexpr std::uint32_t scb_shpr3            = UINT32_C(0xE000ED20);
      constexpr std::uint32_t scb_shcsr            = UINT32_C(0xE000ED24);
      constexpr std::uint32_t scb_cfsr             = UINT32_C(0xE000ED28);
      constexpr std::uint32_t scb_hfsr             = UINT32_C(0xE000ED2C);
      constexpr std::uint32_t scb_dfsr             = UINT32_C(0xE000ED30);
      constexpr std::uint32_t scb_mmfar            = UINT32_C(0xE000ED34);
      constexpr std::uint32_t scb_bfar             = UINT32_C(0xE000ED38);
      constexpr std::uint32_t scb_afsr             = UINT32_C(0xE000ED3C);
      constexpr std::uint32_t scb_reserved_2_72    = UINT32_C(0xE000ED40); // reserved_bytes[72]
      constexpr std::uint32_t scb_cpacr            = UINT32_C(0xE000ED88);
      constexpr std::uint32_t scb_reserved_2_424   = UINT32_C(0xE000ED8C); // reserved_bytes[424]
      constexpr std::uint32_t scb_fpccr            = UINT32_C(0xE000EF34);
      constexpr std::uint32_t scb_fpcar            = UINT32_C(0xE000EF38);
      constexpr std::uint32_t scb_fpdscr           = UINT32_C(0xE000EF3C);
    }
  }
  #endif

#endif // REG_2020_07_01_H_