20,11 → 20,11 |
|
/** |
------------ |
CVS : $Id: srp.c,v 1.7 2004-03-10 14:51:44 giacomo Exp $ |
CVS : $Id: srp.c,v 1.8 2004-05-17 15:03:52 anton Exp $ |
|
File: $File$ |
Revision: $Revision: 1.7 $ |
Last update: $Date: 2004-03-10 14:51:44 $ |
Revision: $Revision: 1.8 $ |
Last update: $Date: 2004-05-17 15:03:52 $ |
------------ |
|
Stack Resource Policy. see srp.h for general details... |
707,8 → 707,10 |
|
/* activate the task if it was activated while in lobby list! */ |
if (task_unblock_activation(x)) { |
struct timespec t; |
LEVEL sl = proc_table[x].task_level; |
level_table[sl]->public_activate(sl,x); |
kern_gettime(&t); |
level_table[sl]->public_activate(sl,x,&t); |
// kern_printf("activate it!!!"); |
} |
} |