/shark/trunk/ports/first/first-sync.c/first-sync.c |
---|
113,7 → 113,7 |
*was_budget_overran = false; |
if (at_absolute_time != NULL) |
kern_event_post(at_absolute_time, (void (*)(void *))&task_activate, (void *)(exec_shadow)); |
kern_event_post(at_absolute_time, (void (*)(void *))task_activate, (void *)(exec_shadow)); |
#ifdef FSF_DEBUG |
if (at_absolute_time != NULL) |