rtcmmio.h

Go to the documentation of this file.

 
#ifndef __RTC_MMIO_H__
#define __RTC_MMIO_H__
 
#include <aa64hcode.h>
 
#define RTC_BASE RTC
 
#define RTCDR  (RTC_BASE + 0x00)
#define RTCMR  (RTC_BASE + 0x04)
#define RTCLR  (RTC_BASE + 0x08)
#define RTCCR  (RTC_BASE + 0x0C)
#define RTCIMSC (RTC_BASE + 0x10)
#define RTCRIS  (RTC_BASE + 0x14)
#define RTCMIS  (RTC_BASE + 0x18)
#define RTCICR  (RTC_BASE + 0x1C)
 
/*
 * AuPL031RTCIRQHandler -- irq handler of PL031 RTC
 */
extern void AuPL031RTCIRQHandle();
 
 
/*
 * AuPL031RTCInit -- initialize pl031 rtc
 */
extern void AuPL031RTCInit();
#endif