REGC_UPDATE
events = wait_for_flag(REGC_UPDATE | REGC_PERIODIC);
} while ((events & REGC_UPDATE) == 0);
events = wait_for_flag(REGC_UPDATE | REGC_PERIODIC);
} while ((events & REGC_UPDATE) == 0);
} while ((events & REGC_UPDATE) == 0);
(void) wait_for_flag(REGC_UPDATE);
(void) wait_for_flag(REGC_UPDATE);
(void) wait_for_flag(REGC_UPDATE);