- * CPU was in system state. If profiling kernel
- * increment a counter. If no process is running
- * then this is a system tick if we were running
- * at a non-zero IPL (in a driver). If a process is running,
- * then we charge it with system time even if we were
- * at a non-zero IPL, since the system often runs
- * this way during processing of system calls.
- * This is approximate, but the lack of true interval
- * timers makes doing anything else difficult.