|
#ifndef __XILINX_TIMER_H
|
|
#define __XILINX_TIMER_H
|
|
|
|
#include "system_defs.h"
|
|
|
|
typedef struct {
|
|
__IO uint32_t TCSR0;
|
|
__IO uint32_t TLR0;
|
|
__IO uint32_t TCR0;
|
|
__IO uint32_t RSVD;
|
|
__IO uint32_t TCSR1;
|
|
__IO uint32_t TLR1;
|
|
__IO uint32_t TCR1;
|
|
} xilinx_timer_t;
|
|
|
|
#endif |