#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