void alarm1_handler(intptr_t exinf) { ER ercd; check_point(14); ercd = iwup_tsk(TASK3); check_ercd(ercd, E_NOSPT); check_point(15); ercd = irel_wai(TASK3); check_ercd(ercd, E_NOSPT); check_point(16); ercd = iwup_tsk(TASK1); check_ercd(ercd, E_OK); check_point(17); ercd = iact_tsk(TASK3); check_ercd(ercd, E_OK); check_point(18); ercd = iact_tsk(TASK4); check_ercd(ercd, E_OK); check_point(19); ercd = irot_rdq(MID_PRIORITY); check_ercd(ercd, E_OK); check_point(20); ercd = irot_rdq(MID_PRIORITY); check_ercd(ercd, E_NOSPT); check_point(21); return; check_point(0); }
void alarm1_handler(intptr_t exinf) { ER ercd; ID tskid; check_point(35); ercd = iget_tid(&tskid); check_ercd(ercd, E_OK); check_assert(tskid == TSK_NONE); check_point(36); ercd = iwup_tsk(TASK1); check_ercd(ercd, E_OK); check_point(37); return; check_point(0); }
/** * @fn void KzDevCycHander(void) * @brief Cyclic handler for Device Driver for making time tick. * @note SDK Private function */ void KzDevCycHander(void) { iwup_tsk( mTskDevPol); }