void alarm1_handler(intptr_t exinf) { check_point(3); check_state_i(true, false, true, true, false); RAISE_CPU_EXCEPTION; check_point(6); check_state_i(true, false, true, true, false); alm1_flag = true; }
void alarm1_handler(intptr_t exinf) { ER ercd; check_point(3); check_state_i(true, false, true, true, false); ercd = iloc_cpu(); check_ercd(ercd, E_OK); RAISE_CPU_EXCEPTION; check_point(6); check_state_i(true, true, true, true, false); alm1_flag = true; }
void alarm1_handler(intptr_t exinf) { SIL_PRE_LOC; check_point(3); check_state_i(true, false, true, true, false); SIL_LOC_INT(); RAISE_CPU_EXCEPTION; check_point(6); SIL_UNL_INT(); check_point(7); check_state_i(true, false, true, true, false); alm1_flag = true; }
void cpuexc_handler(void *p_excinf) { check_point(3); check_state_i(true, true, true, true, false); check_assert(xsns_xpn(p_excinf) == true); check_assert(xsns_dpn(p_excinf) == true); #ifdef CANNOT_RETURN_CPUEXC check_finish(4); #endif /* CANNOT_RETURN_CPUEXC */ check_point(4); }
void cpuexc_handler(void *p_excinf) { ER ercd; switch (++cpuexc_count) { case 1: check_point(3); check_state_i(true, false, false, true, false); check_assert(xsns_xpn(p_excinf) == false); check_assert(xsns_dpn(p_excinf) == false); check_point(4); ercd = iact_tsk(TASK2); check_ercd(ercd, E_OK); ercd = iloc_cpu(); check_ercd(ercd, E_OK); break; case 2: check_point(11); check_state_i(true, false, false, true, false); check_assert(xsns_xpn(p_excinf) == false); check_assert(xsns_dpn(p_excinf) == false); check_point(12); ercd = iras_tex(TASK1, 1U); check_ercd(ercd, E_OK); ercd = iloc_cpu(); check_ercd(ercd, E_OK); break; default: check_point(0); break; } }
void cpuexc_handler(void *p_excinf) { ER ercd; check_point(3); check_state_i(true, false, true, true, false); check_assert(xsns_xpn(p_excinf) == false); check_assert(xsns_dpn(p_excinf) == true); check_point(4); ercd = iras_tex(TASK1, 1U); check_ercd(ercd, E_OK); ercd = iloc_cpu(); check_ercd(ercd, E_OK); }
void cpuexc_handler(void *p_excinf) { ER ercd; check_point(4); check_state_i(true, true, true, true, false); check_assert(xsns_xpn(p_excinf) == true); check_assert(xsns_dpn(p_excinf) == true); #ifdef CANNOT_RETURN_CPUEXC check_finish(5); #endif /* CANNOT_RETURN_CPUEXC */ check_point(5); ercd = iunl_cpu(); check_ercd(ercd, E_OK); }
void cpuexc_handler(void *p_excinf) { ER ercd; check_point(3); check_state_i(true, false, false, true, false); if (xsns_xpn(p_excinf) == true) { syslog_0(LOG_WARNING, "xsns_xpn returns true."); } check_assert(xsns_dpn(p_excinf) == true); check_point(4); ercd = iras_tex(TASK1, 1U); check_ercd(ercd, E_OK); ercd = iloc_cpu(); check_ercd(ercd, E_OK); }