7#ifndef PLATFORM_CORE_ROM_H
8#define PLATFORM_CORE_ROM_H
16#define TIMER_BASE_ADDR 0x44002000
17#define TIMER_0_BASE_ADDR (TIMER_BASE_ADDR + 0x100)
18#define TIMER_1_BASE_ADDR (TIMER_BASE_ADDR + 0x200)
19#define TIMER_2_BASE_ADDR (TIMER_BASE_ADDR + 0x300)
20#define TIMER_SYSCTL_BASE_ADDR (TIMER_BASE_ADDR + 0xA0)
22#define TICK_TIMER_BASE_ADDR TIMER_0_BASE_ADDR
25#define TCXO_COUNT_BASE_ADDR 0x440004C0
59#define PIN_MAX_NUMBER PIN_NONE
62#define CHIP_WDT_BASE_ADDRESS 0x40006000