| 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); |
| } |
| } |
| |