| 20,11 → 20,11 |
|---|
| |
| /** |
| ------------ |
| CVS : $Id: ss.c,v 1.7 2004-03-10 14:51:45 giacomo Exp $ |
| CVS : $Id: ss.c,v 1.8 2004-05-17 15:03:53 anton Exp $ |
| |
| File: $File$ |
| Revision: $Revision: 1.7 $ |
| Last update: $Date: 2004-03-10 14:51:45 $ |
| Revision: $Revision: 1.8 $ |
| Last update: $Date: 2004-05-17 15:03:53 $ |
| ------------ |
| |
| This file contains the aperiodic Sporadic Server (SS). |
| 751,10 → 751,9 |
|---|
| } |
| } |
| |
| static void SS_public_activate(LEVEL l, PID p) |
| static void SS_public_activate(LEVEL l, PID p, struct timespec *t) |
| { |
| SS_level_des *lev = (SS_level_des *)(level_table[l]); |
| struct timespec ty; |
| |
| #ifdef DEBUG |
| kern_printf("SS_tacti "); |
| 770,13 → 769,12 |
|---|
| if (lev->server_active == SS_SERVER_NOTACTIVE) { |
| lev->server_active = SS_SERVER_ACTIVE; |
| /* set replenish time */ |
| kern_gettime(&ty); |
| ADDUSEC2TIMESPEC(lev->period, &ty); |
| TIMESPEC_ASSIGN(&lev->lastdline, &ty); |
| ADDUSEC2TIMESPEC(lev->period, t); |
| TIMESPEC_ASSIGN(&lev->lastdline, t); |
| #ifdef DEBUG |
| kern_printf("RT=%d.%d ",ty.tv_sec,ty.tv_nsec); |
| kern_printf("RT=%d.%d ",t->tv_sec,t->tv_nsec); |
| #endif |
| kern_event_post(&ty, SS_replenish_timer, (void *) l); |
| kern_event_post(t, SS_replenish_timer, (void *) l); |
| } |
| } |
| lev->activated = p; |