fix data dep

This commit is contained in:
Alwin Berger 2025-02-19 15:51:26 +01:00
parent 76e7014eee
commit 4a6ef0aa84

View File

@ -461,10 +461,10 @@ static void prvTaskC13( void * pvParameters ) {
torun = 80000 + x; torun = 80000 + x;
} }
#ifdef INSERT_WC #ifdef INSERT_WC
WCET_CLAMP(torun*LOCAL_WCET_MULT, 0, 145040*LOCAL_WCET_MULT, TASK_1129_MESSAGE)
#else
// to reach the global wcrt, take the shorter case // to reach the global wcrt, take the shorter case
WCET_CLAMP(torun*LOCAL_WCET_MULT, 0, (40000+0xFFFF)*LOCAL_WCET_MULT, TASK_1129_MESSAGE) WCET_CLAMP(torun*LOCAL_WCET_MULT, 0, (40000+0xFFFF)*LOCAL_WCET_MULT, TASK_1129_MESSAGE)
#else
WCET_CLAMP(torun*LOCAL_WCET_MULT, 0, 145040*LOCAL_WCET_MULT, TASK_1129_MESSAGE)
#endif #endif
// --------------------------------------------- // ---------------------------------------------
trigger_job_done(); trigger_job_done();