18,11 → 18,11 |
|
/** |
------------ |
CVS : $Id: jet.c,v 1.2 2003-11-05 15:05:11 giacomo Exp $ |
CVS : $Id: jet.c,v 1.3 2005-01-08 14:47:16 pj Exp $ |
|
File: $File$ |
Revision: $Revision: 1.2 $ |
Last update: $Date: 2003-11-05 15:05:11 $ |
Revision: $Revision: 1.3 $ |
Last update: $Date: 2005-01-08 14:47:16 $ |
------------ |
|
Kernel Job Execution Time functions |
186,7 → 186,7 |
kern_printf("scheduletime %lus %luns * caplasttime %lus %luns * exec=%d TIME = %lu \n", |
schedule_time.tv_sec,schedule_time.tv_nsec, |
cap_lasttime.tv_sec,cap_lasttime.tv_nsec, exec_shadow, t); |
sys_end(); |
kern_raise(XUNSPECIFIED_EXCEPTION,exec_shadow); |
} |
} |
|