void cpuexc_handler(void *p_excinf) { check_point(4); check_assert(xsns_dpn(p_excinf) == true); HOOK_POINT(5); return; check_point(0); }
void cpuexc_handler(void *p_excinf) { ER_UINT ercd; check_point(3); check_state(true, false, false, true, false); check_assert(xsns_dpn(p_excinf) == true); HOOK_POINT(4); ercd = loc_cpu(); check_ercd(ercd, E_OK); return; check_point(0); }