EXICSR
iowrite32be(RTC_EXICSR, iob + EXICSR);
while (!(ioread32be(iob + EXICSR) & EXICSR_INTSET))
iowrite32be(RTC_EXICSR, iob + EXICSR);
while (!(ioread32be(iob + EXICSR) & EXICSR_INTSET))
iowrite32be(0, iob + EXICSR);
iowrite32be(RTC_EXICSR, iob + EXICSR);
while (!(ioread32be(iob + EXICSR) & EXICSR_INTSET))
iowrite32be(RTC_EXICSR, iob + EXICSR);
while (!(ioread32be(iob + EXICSR) & EXICSR_INTSET))
iowrite32be(0, iob + EXICSR);