AT91_RTC_HIGHPPM
if (!(mr & AT91_RTC_HIGHPPM))
mr &= ~(AT91_RTC_NEGPPM | AT91_RTC_CORRECTION | AT91_RTC_HIGHPPM);
mr |= AT91_RTC_HIGHPPM;